A refinement-based process algebra for timed automata
From MaRDI portal
Publication:2576580
DOI10.1007/s00165-005-0064-yzbMath1101.68694OpenAlexW2040558780MaRDI QIDQ2576580
Stefano Cattani, Marta Kwiatkowska
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-005-0064-y
Related Items (2)
Progress-preserving Refinements of CTA ⋮ Compositional schedulability analysis of real-time actor-based systems
Uses Software
This page was built for publication: A refinement-based process algebra for timed automata