Timed testing of concurrent systems

DOI10.1007/3-540-56939-1_100zbMath1422.68175OpenAlexW1835144199MaRDI QIDQ4630289

Walter Vogler

Publication date: 29 March 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56939-1_100

zbMATH Keywords

firing timeconcurrent systemparallel compositionfiring sequencetesting scenario

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Modular construction and partial order semantics of Petri nets
• Refusal testing
• A timed model for communicating sequential processes
• Testing equivalences for processes
• A process algebra for timed systems
• Concurrent testing of processes

This page was built for publication: Timed testing of concurrent systems