A Calculus of Mobile Processes, II
Explore this paper's citation graph
Summary
The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions.
- Type
- article
- Published
- 1992-09-01
- Cited by
- 2,889
- References
- 32
- Access
- Open access
- OpenAlex
- https://openalex.org/W2013672985
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:39498365
Keywords
Calculus (dental), Situation calculus, Presentation (obstetrics), Pi calculus, Computer science
References
- The lazy lambda calculus
- Cell and Ensemble Architecture for the Rewrite Rule Machine
- Communication and concurrency
- Parametric Channels via Label Expressions in CCS
- Foundations of Actor Semantics
- A calculus of higher order communicating systems
- Fully abstract models of the lazy lambda calculus
- Algebra of Communicating Processes with Abstraction
- Functions as processes
- Petri Nets
- A Calculus of Mobile Processes, Part Ii
- The Typed lambda-Calculus with First-Class Processes
- A Calculus of Mobile Processes, Part I
- Theories of Programming Languages: Communicating Sequential Processes
Cited by
- Forms - A Flexible Notion for Software Composition
- Evaluation technique in the spicalculus for cryptographic protocols
- Formal security analysis of registration protocols for interactive systems: a methodology and a case of study
- Hardware Migratable Channels (Research Note)
- A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems
- Pi-Calculus: A Unifying Framework for Programming Paradigms
- Copying, Moving and Borrowing semantics
- Using Metaobjects to Model Concurrent Objects with PICT
- Towards a Formal Model for Agile Service Discovery and Integration
- Structuring structural operational semantics
- Typage et contrôle de la mobilité
- The PiVizTool: Simulating Choreographies with Dynamic Binding
- The Core Language of Aldwich
- Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web. (A Transactional Approach to Ensure Reliable Web Services Compositions)
- A Calculus of Evolving Objects
- A regular viewpoint on processes and algebra
- A semantics for While in Pi-calculus
- Relating coalgebraic notions of bisimulation: with applications to name-passing process calculi
- Nomadic pict: language and infrastructure design for mobile computation
- Formal semantics and verification of use case maps