scientific article; zbMATH DE number 4043229

MaRDI QIDQ3780423zbMATH OpenFDO

Authors Stefano Kasangian, Alberto Pettorossi, Anna Labella

Publication date 1987

zbMATH Keywords

categorical modelsenriched categoriesclasses of algebrasconcurrent finite automatadistributed computing agentsmodels of distributed computations

Mathematics Subject Classification ID

Categories of algebras (08C05) Abstract data types; algebraic specification (68Q65) Enriched categories (over closed or monoidal categories) (18D20) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4062569
• Enriched categorical semantics for distributed calculi
• An algebraic view of interleaving and distributed operational semantics for CCS
• scientific article; zbMATH DE number 3936529
• scientific article; zbMATH DE number 4039255

Cited in

(8)

• Process synchronisation as fusion
• On continuous time agents
• Enriched categorical semantics for distributed calculi
• scientific article; zbMATH DE number 5347929 (Why is no real title available?)
• scientific article; zbMATH DE number 4062569 (Why is no real title available?)
• An algebraic view of interleaving and distributed operational semantics for CCS
• Categories with sums and right distributive tensor product
• Enriched categories and models for spaces of evolving states

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