A Comparative Study of STOPA and RTPA

DOI10.1007/978-3-540-87563-5_13MaRDI QIDQ5505408zbMATH OpenOpenAlexFDO

Authors Natalia López, Manuel Núñez, Fernando López Pelayo

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87563-5_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Testing Semantics for RTPA
• The real-time process algebra (RTPA)
• A process algebra for timed systems
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Absolute versus relative time in process algebras.

Cited in

(1)

• Testing Semantics for RTPA

This page was built for publication: A Comparative Study of STOPA and RTPA

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