ACM Transactions on Programming Languages and Systems (TOPLAS)
Mobile objects as mobile processes
Information and Computation - IFIP TCS2000
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Local pi-Calculus at Work: Mobile Objects as Mobile Processes
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Thinking Tools for the Future of Computing Science
Informatics - 10 Years Back. 10 Years Ahead.
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
Wanted: a compositional approach to concurrency
Programming methodology
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
Ensuring termination by typability
Information and Computation
Theoretical Computer Science
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Asynchronous sequential processes
Information and Computation
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Abstraction as a unifying link for formal approaches to concurrency
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
| Hi-index | 0.02 |