scientific article

zbMath0472.68012MaRDI QIDQ3925868

Tomasz Müldner, Andrzej Salwicki

Publication date: 1981

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

zbMATH Keywords

Petri netssemanticsprocessessemantical phenomena of concurrent computations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (9)

A specification-oriented semantics for the refinement of real-time systems ⋮ Concurrent and maximally concurrent evolution of nonsequential systems ⋮ A predicative semantics for the refinement of real-time systems ⋮ Compositional semantics for real-time distributed computing ⋮ Fairness and control in multi-agent systems ⋮ On priority in COSY ⋮ Petri net semantics of priority systems ⋮ Structure of concurrency ⋮ An investigation of controls for concurrent systems based on abstract control languages

This page was built for publication: