scientific article

From MaRDI portal

Revision as of 14:55, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3355248

Jump to:navigation, search

zbMath0729.68069MaRDI QIDQ3355248

Walter Vogler

Publication date: 1990

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

zbMATH Keywords

Petri nets Concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Concurrent bisimulations in Petri nets ⋮ A theory of implementation and refinement in timed Petri nets ⋮ Functional equivalences of Petri nets ⋮ Maximality preserving bisimulation ⋮ Structure of concurrency ⋮ Failures semantics based on interval semiwords is a congruence for refinement

This page was built for publication:

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