scientific article
From MaRDI portal
Publication:3867194
zbMath0429.68058MaRDI QIDQ3867194
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stringsconcurrencytracesadequacydynamic propertiesstatic propertiesfreedom from deadlockpath expressionsliveness for 1-safe marked graph
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (15)
Concurrent and maximally concurrent evolution of nonsequential systems ⋮ Transformations of sequential specifications into concurrent specifications by synchronization guards ⋮ Sequential and concurrent behaviour in Petri net theory ⋮ Restrictions and representations of vector controlled concurrent system behaviours ⋮ Classifying invariant structures of step traces ⋮ Modelling Concurrency with Quotient Monoids ⋮ On priority in COSY ⋮ Adequacy properties of path programs ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ Adequacy-preserving transformations of COSY path programs ⋮ On the concatenation of infinite traces ⋮ Transforming sequential systems into concurrent systems ⋮ Step traces ⋮ The Merlin-Randell problem of train journeys ⋮ A formal semantics for concurrent systems with a priority relation
This page was built for publication:
