Testing semantics for urgent timed process algebras

MaRDI QIDQ5754523zbMATH OpenFDO

Authors Luis F. Llana-Díaz, David de Frutos Escrig, Manuel Núñez

Publication date 22 August 2007

zbMATH Keywords

must testing semanticsoperational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1500554
• On testing urgency through laziness over processes with durational actions
• Timed testing of concurrent systems
• scientific article; zbMATH DE number 140239
• scientific article; zbMATH DE number 2186290

Cited in

(2)

• scientific article; zbMATH DE number 1500554 (Why is no real title available?)
• On testing urgency through laziness over processes with durational actions

This page was built for publication: Testing semantics for urgent timed process algebras

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