Publication:3839057
From MaRDI portal
zbMath0903.08008MaRDI QIDQ3839057
Publication date: 26 October 1998
determinism; regular algebras; partial algebras; behavioural equivalence; observational equivalence; bisimilarity; open maps; models for sequential and concurrent systems
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
08A70: Applications of universal algebra in computer science
68N01: General topics in the theory of software
Related Items
