scientific article; zbMATH DE number 522837
From MaRDI portal
Publication:4284230
zbMath0794.68055MaRDI QIDQ4284230
Publication date: 24 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
strict monoidal categoryequational axiomsmodels of concurrent computationaction structurefunctional abstractorssynchronous \(\pi\)-calculus
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (2)
Proofs as processes ⋮ Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
This page was built for publication:
