Mobile objects as mobile processes
Information and Computation - IFIP TCS2000
Imperative objects as mobile processes
Science of Computer Programming
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
On the representation of McCarthy's amb in the π-calculus
Theoretical Computer Science - Expressiveness in concurrency
Types and full abstraction for polyadic π-calculus
Information and Computation
Types and full abstraction for polyadic π-calculus
Information and Computation
A complete, co-inductive syntactic theory of sequential control and state
Semantics and algebraic specification
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation
Journal of Automated Reasoning
Hi-index | 0.01 |