scientific article
From MaRDI portal
Publication:3347277
zbMath0558.68022MaRDI QIDQ3347277
J. W. de Bakker, Jeffery Zucker
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Three metric domains of processes for bisimulation, De Bakker-Zucker processes revisited, On the consistency of Koomen's fair abstraction rule, Applications of compactness in the Smyth powerdomain of streams, Transition systems, metric spaces and ready sets in the semantics of uniform concurrency, Terminal metric spaces of finitely branching and image finite linear processes, Generalizing finiteness conditions of labelled transition systems, An introduction to metric semantics: Operational and denotational models for programming and specification languages
