scientific article

From MaRDI portal

Revision as of 07:43, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3681902

Jump to:navigation, search

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 semantics infinite streams finite observationss semantics of uniform concurrency

Mathematics Subject Classification ID

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

Related Items (3)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3681902&oldid=17153329"