scientific article; zbMATH DE number 4043229

zbMATH Open0639.68023MaRDI QIDQ3780423FDOQ3780423

Authors: Stefano Kasangian, Alberto Pettorossi, Anna Labella 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Process synchronisation as fusion
• On continuous time agents
• Enriched categorical semantics for distributed calculi
• Title not available (Why is that?)
• An algebraic view of interleaving and distributed operational semantics for CCS
• Title not available (Why is that?)
• 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)