Testing Semantics for RTPA

DOI10.3233/FI-2009-0020MaRDI QIDQ3625790zbMATH OpenOpenAlexFDO

Authors Luis Llana, Manuel Núñez

Publication date 22 May 2009

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2009-0020

zbMATH Keywords

real time process algebraRTPAtesting semantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in artificial intelligence (68T01)

Recommendations

• The real-time process algebra (RTPA)
• Process algebra with timing: Real time and discrete time
• A Comparative Study of STOPA and RTPA
• Real time process algebra
• A process algebra for timed systems

Cited in

(3)

• The real-time process algebra (RTPA)
• A Comparative Study of STOPA and RTPA
• Late and early semantics coincide for testing

This page was built for publication: Testing Semantics for RTPA

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