scientific article
From MaRDI portal
Publication:3681914
zbMath0566.68023MaRDI QIDQ3681914
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
context informationenvironmentsequivalences between nondeterministic and concurrent processesparameterized bisimulation equivalence
Related Items (3)
Unnamed Item ⋮ Minimizing the number of transitions with respect to observation equivalence ⋮ Modal logics for communicating systems
This page was built for publication:
