scientific article; zbMATH DE number 3915635

zbMATH Open0573.68028MaRDI QIDQ3691069FDOQ3691069

Authors: Ryszard Janicki 

Publication date: 1985

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

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

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?)

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)