\(\tau\)-bisimulations and full abstraction for refinement of actions
From MaRDI portal
Publication:1183474
DOI10.1016/0020-0190(91)90081-RzbMath0743.68060MaRDI QIDQ1183474
Publication date: 28 June 1992
Published in: Information Processing Letters (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
Related Items
Cites Work