scientific article; zbMATH DE number 4039255

MaRDI QIDQ3777427zbMATH OpenFDO

Authors Alberto Pettorossi, Anna Labella

Publication date 1987

zbMATH Keywords

concurrencyparallelismcategorical modelstree semanticssynchronization algebras

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical structures (18D99)

Cited in

(11)

• scientific article; zbMATH DE number 3936529 (Why is no real title available?)
• A categorical framework for typing CCS-style process communication
• scientific article; zbMATH DE number 4092751 (Why is no real title available?)
• scientific article; zbMATH DE number 4062567 (Why is no real title available?)
• scientific article; zbMATH DE number 3936542 (Why is no real title available?)
• scientific article; zbMATH DE number 4003508 (Why is no real title available?)
• scientific article; zbMATH DE number 1555178 (Why is no real title available?)
• scientific article; zbMATH DE number 5263402 (Why is no real title available?)
• scientific article; zbMATH DE number 4043229 (Why is no real title available?)
• The categorical framework of object-oriented concurrent systems
• scientific article; zbMATH DE number 3970096 (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 Q3777427)