scientific article

From MaRDI portal

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

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

Publication:3939202

Jump to:navigation, search

zbMath0481.68012MaRDI QIDQ3939202

Peter E. Lauer, J. Y. Cotronis, Michael Shields

Publication date: 1981

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

zbMATH Keywords

concurrent systems semantics Petri Nets hierarchy modularity syntax synchronisation deadlock analysis vector firing sequences COSY path expressions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (8)

Concurrent and maximally concurrent evolution of nonsequential systems ⋮ On priority in COSY ⋮ Adequacy-preserving transformations of COSY path programs ⋮ Structure of concurrency ⋮ Transforming sequential systems into concurrent systems ⋮ Nets, sequential components and concurrency relations ⋮ The Merlin-Randell problem of train journeys ⋮ A formal semantics for concurrent systems with a priority relation

This page was built for publication:

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