Publication:3761680
From MaRDI portal
zbMath0623.68023MaRDI QIDQ3761680
Robert J. van Glabbeek, Jos C. M. Baeten
Publication date: 1987
68N25: Theory of operating systems
Related Items
Non-regular iterators in process algebra, On the computational complexity of bisimulation, redux, \(\tau\)-bisimulations and full abstraction for refinement of actions, Experimenting with process equivalence, Branching time and orthogonal bisimulation equivalence, Rooted branching bisimulation as a congruence