The m-calculus
From MaRDI portal
Publication:2942912
DOI10.1145/604131.604136zbMath1321.68365MaRDI QIDQ2942912
Alan Schmitt, Jean-Bernard Stefani
Publication date: 11 September 2015
Published in: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/604131.604136
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Type-safe higher-order channels with channel locality, Reversibility in the higher-order \(\pi\)-calculus, Characterizing contextual equivalence in calculi with passivation, Abstractions for fault-tolerant global computing, Distinguishing and relating higher-order and first-order processes by expressiveness, Basic observables for a calculus for global computing, safeDpi: a language for controlling mobile code
Uses Software
Cites Work