scientific article; zbMATH DE number 4113966

MaRDI QIDQ4729326zbMATHFDO

Authors Zbigniew Antoni Banaszak

Publication date 1988

zbMATH Keywords

synchronizationconcurrent processesPetri net representation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• Publication:5751959
• scientific article; zbMATH DE number 1911007
• scientific article; zbMATH DE number 1895496
• scientific article; zbMATH DE number 4037184
• Controlling loosely cooperating processes
• scientific article; zbMATH DE number 1947674
• Coordination control of distributed systems
• Models for control unit synchronization on shared control architectures
• scientific article; zbMATH DE number 3896789

Cited in

(4)

• scientific article; zbMATH DE number 4187126 (Why is no real title available?)
• Analysis of cooperative design processes using object-based extended Petri nets
• Controlling loosely cooperating processes
• scientific article; zbMATH DE number 5075938 (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 Q4729326)