Temporal theories as modularisation units for concurrent system specification

From MaRDI portal
Revision as of 05:34, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1192604

DOI10.1007/BF01212304zbMath0746.68031OpenAlexW2005819264MaRDI QIDQ1192604

José Luiz Fiadeiro, Thomas S. E. Maibaum

Publication date: 27 September 1992

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

Full work available at URL: https://doi.org/10.1007/bf01212304




Related Items (13)




Cites Work




This page was built for publication: Temporal theories as modularisation units for concurrent system specification