scientific article; zbMATH DE number 4092751

MaRDI QIDQ3819987zbMATH OpenFDO

Authors Alberto Pettorossi, Anna Labella

Publication date 1987

zbMATH Keywords

synchronizationcategorical semanticscomputational processescategory of treessemantics of distributed processes

Mathematics Subject Classification ID

Special categories (18B99) Semantics in the theory of computing (68Q55) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4028883
• Enriched categorical semantics for distributed calculi
• Publication:4728237
• scientific article; zbMATH DE number 4039255
• Synchronization trees

Cited in

(2)

• Enriched categorical semantics for distributed calculi
• scientific article; zbMATH DE number 4028883 (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 Q3819987)