An action-based formal model for concurrent real-time systems
From MaRDI portal
Publication:1362773
DOI10.1007/BF01211618zbMath0874.68075MaRDI QIDQ1362773
Colin J. Fidge, Andrew J. Wellings
Publication date: 7 August 1997
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01211618
68N99: Theory of software
Cites Work