scientific article
From MaRDI portal
Publication:3780423
zbMath0639.68023MaRDI QIDQ3780423
Stefano Kasangian, Alberto Pettorossi, Anna Labella
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
categorical modelsenriched categoriesclasses of algebrasconcurrent finite automatadistributed computing agentsmodels of distributed computations
Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25) Categories of algebras (08C05) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (4)
On continuous time agents ⋮ Enriched categorical semantics for distributed calculi ⋮ Process synchronisation as fusion ⋮ Categories with sums and right distributive tensor product
This page was built for publication:
