Publication:4225153
From MaRDI portal
zbMath0919.68046MaRDI QIDQ4225153
Publication date: 18 January 1999
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
Related Items
Algebra Transformation Systems as a Unifying Framework, A Logic for True Concurrency, Typed event structures and the linear \(\pi \)-calculus, Topological model of neural information networks, Probabilistic π-Calculus and Event Structures