Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
The system F of variable types, fifteen years later
Theoretical Computer Science
Algebraic theory of processes
Process algebra
A domain equation for bisimulation
Information and Computation
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
Computer science as empirical inquiry: symbols and search
Communications of the ACM
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Principles of Programming Languages
Principles of Programming Languages
Pi-Calculus Semantics of Object-Oriented Programming Languages
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
Syntax and informal semantics of DyNe, a parallel language
The Analysis of Concurrent Systems
Hi-index | 0.00 |