scientific article

zbMath0595.68051MaRDI QIDQ3727392

P. S. Thiagarajan, Mogens Nielsen

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items

Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) ⋮ Concurrent bisimulations in Petri nets ⋮ A general conservative extension theorem in process algebras with inequalities ⋮ Interleaving vs True Concurrency: Some Instructive Security Examples ⋮ A theory of processes with durational actions ⋮ Models and languages for description of parallel processes ⋮ On performance congruences for process algebras