Publication:4733394
From MaRDI portal
zbMath0683.68024MaRDI QIDQ4733394
Publication date: 1989
68Q65: Abstract data types; algebraic specification
68N25: Theory of operating systems
68Q99: Theory of computing
Related Items
Inheritance of behavior, Inheritance of workflows: An approach to tackling problems related to change, \(\tau\)-bisimulations and full abstraction for refinement of actions, Process calculus based upon evaluation to committed form, Branching bisimilarity is an equivalence indeed!, Ordered SOS process languages for branching and eager bisimulations, Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation