Publication:3839057
From MaRDI portal
zbMath0903.08008MaRDI QIDQ3839057
Publication date: 26 October 1998
determinismregular algebraspartial algebrasbehavioural equivalenceobservational equivalencebisimilarityopen mapsmodels for sequential and concurrent systems
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Applications of universal algebra in computer science (08A70) General topics in the theory of software (68N01)
Related Items