scientific article
From MaRDI portal
Publication:3761680
zbMath0623.68023MaRDI QIDQ3761680
Robert J. van Glabbeek, Jos C. M. Baeten
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Branching time and orthogonal bisimulation equivalence ⋮ Bisimulation maps in presheaf categories ⋮ On the consistency of Koomen's fair abstraction rule ⋮ Global renaming operators in concrete process algebra ⋮ Theory of interaction ⋮ Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity ⋮ Rooted branching bisimulation as a congruence ⋮ \(\tau\)-bisimulations and full abstraction for refinement of actions ⋮ Experimenting with process equivalence ⋮ On the computational complexity of bisimulation, redux ⋮ A general approach to comparing infinite-state systems with their finite-state specifications ⋮ Non-regular iterators in process algebra ⋮ Decision procedures and graph reductions for bisimulation equivalences part 1 ⋮ The compression structure of a process
This page was built for publication: