The composability problem of the semantics of XYZ/BE-communicating processes

MaRDI QIDQ2747396zbMATH OpenFDO

Authors Guangyuan Li, Zhisong Tang

Publication date 14 October 2001

Published in Systems Science and Mathematical Sciences (Search for Journal in Brave)

zbMATH Keywords

composabilityconcurrent systemstrace equivalence

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1418350
• scientific article; zbMATH DE number 4016181
• scientific article; zbMATH DE number 591003
• scientific article; zbMATH DE number 3903940
• Mechanizing compositional reasoning for concurrent systems: some lessons

Cited in

(3)

• Compatibility in a multi-component environment
• A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference
• Revisiting sequential composition in process calculi

This page was built for publication: The composability problem of the semantics of XYZ/BE-communicating processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2747396)