scientific article; zbMATH DE number 4003508

MaRDI QIDQ4728237zbMATH OpenFDO

Authors Alberto Pettorossi, Anna Labella

Publication date 1986

zbMATH Keywords

CSPsynchronizationcategorical modelsparallel processesCCSconcurrent systemstree semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25) Categories of machines, automata (18B20)

Recommendations

• scientific article; zbMATH DE number 4039255
• scientific article; zbMATH DE number 3905836
• Process synchronisation as fusion
• scientific article; zbMATH DE number 3936529
• scientific article; zbMATH DE number 4028883

Cited in

(14)

• scientific article; zbMATH DE number 4119610 (Why is no real title available?)
• Enriched categorical semantics for distributed calculi
• scientific article; zbMATH DE number 4039255 (Why is no real title available?)
• scientific article; zbMATH DE number 4037184 (Why is no real title available?)
• The categorical framework of object-oriented concurrent systems
• Advantages and disadvantages of the methods of describing concurrent systems
• A compositional proof system on a category of labelled transition systems
• scientific article; zbMATH DE number 4028883 (Why is no real title available?)
• An algebraic view of interleaving and distributed operational semantics for CCS
• scientific article; zbMATH DE number 4062569 (Why is no real title available?)
• A (Co)Algebraic Analysis of Synchronization in CSP
• scientific article; zbMATH DE number 4092751 (Why is no real title available?)
• A relation algebraic approach to interaction categories
• scientific article; zbMATH DE number 3936529 (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 Q4728237)