scientific article; zbMATH DE number 3915635

zbMATH Open0573.68028MaRDI QIDQ3691069FDOQ3691069

Ryszard Janicki

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

partial ordersconcurrencyvector firing sequencesexecution semantics for Path Expression systems

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)

Cited In (4)

• A formal semantics for concurrent systems with a priority relation
• Measuring the distance to series-parallelity by path expressions
• Concurrent and maximally concurrent evolution of nonsequential systems
• Title not available (Why is that?)

   Recommendations

• A formal semantics for concurrent systems with a priority relation 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Equivalence notions applied to designing concurrent systems with the use of Petri nets 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3691069)