scientific article; zbMATH DE number 30325

MaRDI QIDQ3985381zbMATH OpenFDO

Authors Gaetano Bruno, Ferdinando Lucidi, Sebastiano Trigila

Publication date 27 June 1992

zbMATH Keywords

calculus of communicating systemscommunication software specificationLOTOS languageprocess algebras

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Cited in

(18)

• Notes on the methodology of CCS and CSP
• A monotone framework for CCS
• On CCS with parametric relabelling
• Algebraic specification and verification of communication protocols
• Process algebras for network communication
• scientific article; zbMATH DE number 4016181 (Why is no real title available?)
• scientific article; zbMATH DE number 4173054 (Why is no real title available?)
• scientific article; zbMATH DE number 3846850 (Why is no real title available?)
• scientific article; zbMATH DE number 4157900 (Why is no real title available?)
• scientific article; zbMATH DE number 3986626 (Why is no real title available?)
• scientific article; zbMATH DE number 4011916 (Why is no real title available?)
• scientific article; zbMATH DE number 140241 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 519792 (Why is no real title available?)
• scientific article; zbMATH DE number 3999273 (Why is no real title available?)
• scientific article; zbMATH DE number 862677 (Why is no real title available?)
• Formal definition of XCCS modelling language
• Parametric channels via label expressions in CCS

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