scientific article; zbMATH DE number 4119610
From MaRDI portal
Publication:4733394
zbMath0683.68024MaRDI QIDQ4733394
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25) Theory of computing (68Q99)
Related Items
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation ⋮ Branching bisimilarity is an equivalence indeed! ⋮ \(\tau\)-bisimulations and full abstraction for refinement of actions ⋮ On the observational theory of the CPS-calculus ⋮ Inheritance of behavior ⋮ Inheritance of workflows: An approach to tackling problems related to change ⋮ Process calculus based upon evaluation to committed form ⋮ Ordered SOS process languages for branching and eager bisimulations
