scientific article; zbMATH DE number 4003508

zbMath0618.68023MaRDI QIDQ4728237

Alberto Pettorossi, Anna Labella

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent systemssynchronizationCSPcategorical modelsparallel processesCCStree semantics

Mathematics Subject Classification ID

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

Related Items

A compositional proof system on a category of labelled transition systems ⋮ Enriched categorical semantics for distributed calculi