A calculus of mobile processes, I
Information and Computation
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
Nomadic pict: correct communication infrastructure for mobile computation
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
A type system for lock-free processes
Information and Computation - IFIP TCS2000
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
IEEE Concurrency
Weak and Strong Fairness in CCS
Proceedings of the Mathematical Foundations of Computer Science 1984
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
On Implementations and Semantics of a Concurrent Programming Language
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Safe ambients: abstract machine and distributed implementation
Science of Computer Programming
An abstract machine for the kell calculus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A correct abstract machine for safe ambients
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A hybrid type system for lock-freedom of mobile processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 5.23 |
The Pict programming language is an implementation of the @p-calculus in which executions of @p-calculus terms are specified via an abstract machine. An important property of any concurrent programming language implementation is the fair execution of threads. After defining fairness for the @p-calculus, we show that Pict abstract machine executions implement fair @p-calculus executions. We also give new proofs of soundness and liveness for the Pict abstract machine.