scientific article
From MaRDI portal
Publication:3994745
zbMath0676.68005MaRDI QIDQ3994745
Geraint Jones, Michael Goldsmith
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Theory of operating systems (68N25) Theory of software (68N99)
Related Items (9)
On relating some models for concurrency ⋮ Revisiting sequential composition in process calculi ⋮ An incremental specification of the sliding-window protocol ⋮ Unnamed Item ⋮ Petri net semantics of priority systems ⋮ The Fork95 programming language: Design, implementation, application. ⋮ Operational semantics of a weak memory model with channel synchronization ⋮ Operational semantics of a weak memory model with channel synchronization ⋮ Action systems, unbounded nondeterminism, and infinite traces
This page was built for publication:
