scientific article; zbMATH DE number 1059331
From MaRDI portal
Publication:4353638
zbMath0883.68099MaRDI QIDQ4353638
Publication date: 26 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ Exploring nominal cellular automata ⋮ A coalgebraic semantics for causality in Petri nets ⋮ Symmetries, local names and dynamic (de)-allocation of names ⋮ Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
This page was built for publication:
