scientific article; zbMATH DE number 3915635

MaRDI QIDQ3691069zbMATH OpenFDO

Authors Ryszard Janicki

Publication date 1985

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)

Recommendations

• A formal semantics for concurrent systems with a priority relation
• scientific article; zbMATH DE number 4035117
• scientific article; zbMATH DE number 3988725
• Equivalence notions applied to designing concurrent systems with the use of Petri nets
• scientific article; zbMATH DE number 3902013

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
• scientific article; zbMATH DE number 3945373 (Why is no real title available?)

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)