Communicating sequential processes
Communicating sequential processes
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Three approaches to type structure
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Algebraic theory of processes
Communication and concurrency
Proofs and types
The definition of Standard ML
Process algebra
Type systems for programming languages
Handbook of theoretical computer science (vol. B)
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
A calculus of mobile processes, II
Information and Computation
A compositional protocol verification using relativized bisimulation
Information and Computation
Information and Computation
Handbook of logic in computer science (vol. 3)
Pi-calculus, dialogue games and full abstraction PCF
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Game Theoretic Analysis of Call-by-Value Computation
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
| Hi-index | 0.00 |