scientific article; zbMATH DE number 3872691

MaRDI QIDQ3339295zbMATH OpenFDO

Authors Eike Best

Publication date 1984

zbMATH Keywords

behaviour of concurrent systemsconcurrent programming languagesfiring sequencesinterleaved behaviourpartial order semanticsPetri netprocess semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3902012
• scientific article; zbMATH DE number 3905854
• Axiomatising Finite Concurrent Processes
• scientific article; zbMATH DE number 3902009
• scientific article; zbMATH DE number 3938548
• scientific article; zbMATH DE number 17794
• Assertional and behavioral approaches to concurrency
• Sequential and concurrent behaviour in Petri net theory
• A theory for the composition of concurrent processes
• On “Axiomatising Finite Concurrent Processes”

Cited in

(12)

• Sequential and concurrent behaviour in Petri net theory
• Defining concurrent processes constructively
• scientific article; zbMATH DE number 3902012 (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 4035158 (Why is no real title available?)
• scientific article; zbMATH DE number 4070337 (Why is no real title available?)
• scientific article; zbMATH DE number 17795 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• Modelling concurrency with semi-commutations
• FM 2005: Formal Methods

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