scientific article; zbMATH DE number 517055
From MaRDI portal
zbMath0792.68091MaRDI QIDQ4282583
Sebastiano Vigna, Stefano Kasangian, Pierpaolo Degano
Publication date: 17 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)
Related Items
A theory of bisimulation for the \(\pi\)-calculus, πI: A symmetric calculus based on internal mobility, \(\pi\)-calculus, internal mobility, and agent-passing calculi