Objects in the \(\pi\)-calculus
From MaRDI portal
Publication:1891152
DOI10.1006/inco.1995.1018zbMath0828.68043MaRDI QIDQ1891152
Publication date: 2 January 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1018
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items
Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators, \(\pi\)-calculus, internal mobility, and agent-passing calculi, Locality and interleaving semantics in calculi for mobile processes, Process algebras as support for sustainable systems of services, Creol: A type-safe object-oriented model for distributed concurrent systems, An interpretation of typed objects into typed \(\pi\)-calculus, Partial confluence of processes and systems of objects, On transformations of concurrent-object programs, Symmetric \(\pi\)-calculus, On the decidability of process equivalences for the \(\pi\)-calculus, Bisimulation congruence of \(\chi\)-calculus, Inheritance in the join calculus., Actor languages. Their syntax, semantics, translation, and equivalence, Names of the \(\pi\)-calculus agents handled locally, A calculus for reasoning about software composition, Tile formats for located and mobile systems., Decoding choice encodings, A formal semantics for DAI language NUML, Variations on mobile processes, The name discipline of uniform receptiveness, Mobile objects as mobile processes, Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus