scientific article

zbMath0566.68011MaRDI QIDQ3681902

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Ruediger Olderog

Publication date: 1985

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

zbMATH Keywords

linear time semanticsinfinite streamsfinite observationsssemantics of uniform concurrency

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Infinite streams and finite observations in the semantics of uniform concurrency, Trace, failure and testing equivalences for communicating processes, Specification-oriented semantics for communicating processes