scientific article; zbMATH DE number 4037223

MaRDI QIDQ3776642zbMATH OpenFDO

Authors G. Roucairol

Publication date 1987

zbMATH Keywords

boundednesscomputational powerfairnessFIFO- netsgeneric synchronizationlivenessparallelization of programsplace-transition netsresource allocationserializability

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

• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
• Fifo nets without order deadlock
• scientific article; zbMATH DE number 4115984
• scientific article; zbMATH DE number 139611
• Properties and performance bounds for closed free choice synchronized monoclass queueing networks

Cited in

(4)

• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
• Fifo nets without order deadlock
• scientific article; zbMATH DE number 5711524 (Why is no real title available?)
• Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets

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