Compositional refinement of interactive systems modelled by relations

DOI10.1007/3-540-49213-5_6MaRDI QIDQ7010077zbMATH OpenFDO

Authors Manfred Broy

Publication date 19 March 2025

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Compositional refinement of interactive systems modelled by relations

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