Objects in the \(\pi\)-calculus
From MaRDI portal
Publication:1891152
DOI10.1006/inco.1995.1018zbMath0828.68043OpenAlexW2476379118MaRDI 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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)
Related Items (31)
A formal semantics for DAI language NUML ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ A proof theoretical approach to communication ⋮ A semantics preserving actor translation ⋮ Symmetric \(\pi\)-calculus ⋮ On the decidability of process equivalences for the \(\pi\)-calculus ⋮ Bisimulation congruence of \(\chi\)-calculus ⋮ On transformations of concurrent object programs ⋮ Constraints as processes ⋮ Theory of interaction ⋮ Variations on mobile processes ⋮ The name discipline of uniform receptiveness ⋮ Inheritance in the join calculus. ⋮ \(\pi\)-calculus, internal mobility, and agent-passing calculi ⋮ Locality and interleaving semantics in calculi for mobile processes ⋮ A calculus for reasoning about software composition ⋮ Mobile objects as mobile processes ⋮ Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators ⋮ Unnamed Item ⋮ Full Abstraction in a Subtyped pi-Calculus with Linear Types ⋮ An interpretation of typed objects into typed \(\pi\)-calculus ⋮ The λ-calculus in the π-calculus ⋮ Partial confluence of processes and systems of objects ⋮ On transformations of concurrent-object programs ⋮ A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations ⋮ Actor languages. Their syntax, semantics, translation, and equivalence ⋮ Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus ⋮ Names of the \(\pi\)-calculus agents handled locally ⋮ Tile formats for located and mobile systems. ⋮ Decoding choice encodings ⋮ Process algebras as support for sustainable systems of services
This page was built for publication: Objects in the \(\pi\)-calculus
