scientific article; zbMATH DE number 3902012

MaRDI QIDQ3680254zbMATH OpenFDO

Authors Eike Best

Publication date 1985

zbMATH Keywords

concurrent programming languagesconcurrent systemsPetri net theoryprocesses and firing sequences in net theorysemantics

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3872691
• Sequential and concurrent behaviour in Petri net theory
• scientific article; zbMATH DE number 3905854
• scientific article; zbMATH DE number 193318
• scientific article; zbMATH DE number 3974312

Cited in

(14)

• Sequential and concurrent behaviour in Petri net theory
• Correctness of concurrent processes
• Defining concurrent processes constructively
• Semi-commutations and Petri nets
• Specifying reversibility with \(\mathrm{TLA}^+\)
• scientific article; zbMATH DE number 3872691 (Why is no real title available?)
• scientific article; zbMATH DE number 3905854 (Why is no real title available?)
• scientific article; zbMATH DE number 3909720 (Why is no real title available?)
• scientific article; zbMATH DE number 4005595 (Why is no real title available?)
• scientific article; zbMATH DE number 17795 (Why is no real title available?)
• scientific article; zbMATH DE number 1136657 (Why is no real title available?)
• Modelling concurrency with semi-commutations
• FM 2005: Formal Methods
• Compositional process semantics of Petri Boxes

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