Mechanizing compositional reasoning for concurrent systems: some lessons

DOI10.1007/S00165-004-0053-6zbMATH Open1101.68619DBLPjournals/fac/EhmetyP05OpenAlexW1971790863WikidataQ57382658 ScholiaQ57382658MaRDI QIDQ2576572

Sidi O. Ehmety, Lawrence Charles Paulson

Publication date: 13 December 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-004-0053-6

zbMATH Keywords

UNITYIsabelleCompositional reasoningExistential propertiesGuarantees assertionsUniversal properties

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Related Items (1)

Compositional SOS and beyond: A coalgebraic view of open systems

This page was built for publication: Mechanizing compositional reasoning for concurrent systems: some lessons