Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nomadic pict: correct communication infrastructure for mobile computation
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal methods for distributed processing
Inheritance in concurrent objects
Formal methods for distributed processing
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On the Benefits of Using the Up-To Techniques for Bisimulation Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Probabilistic Asynchronous pi-Calculus
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On Synchronous and Asynchronous Mobile Processes
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
An Asynchronous, Distributed Implementation of Mobile Ambients
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
Mathematical Structures in Computer Science
Uniform confluence in concurrent computation
Journal of Functional Programming
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
On the representation of McCarthy's amb in the π-calculus
Theoretical Computer Science - Expressiveness in concurrency
CONCUR 2005 - Concurrency Theory
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Type-based cryptographic operations
Journal of Computer Security - Special issue on CSFW15
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
A Translation of Beta-binders in a Prioritized Pi-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the expressiveness of interaction
Theoretical Computer Science
A core calculus for a comparative analysis of bio-inspired calculi
ESOP'07 Proceedings of the 16th European conference on Programming
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
Hi-index | 0.00 |