Timed testing of concurrent systems

DOI10.1006/INCO.1995.1130MaRDI QIDQ1899907zbMATH OpenOpenAlexFDO

Authors Walter Vogler

Publication date 10 October 1995

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/55b54eae98766c6d739303f862a3e4da9a9745c6

zbMATH Keywords

interval semiword semanticspartial order semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timed testing of concurrent systems
• scientific article; zbMATH DE number 994050
• scientific article; zbMATH DE number 1515281
• Concurrent testing of processes

Cited in

(31)

• On performance congruences for process algebras
• The difference between splitting in \(n\) and \(n+1\)
• Faster asynchronous systems.
• Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
• Partial order semantics and read arcs
• Absolute versus relative time in process algebras.
• Concurrent testing of processes
• Timing-sequence testing of parallel programs
• Taking decisions late: end-based choice combined with action refinement
• scientific article; zbMATH DE number 994050 (Why is no real title available?)
• Conformance Testing Relations for Timed Systems
• Time Unbalanced Partial Order
• Translating Testing Theories for Concurrent Systems
• On the Merits of Temporal Testers
• scientific article; zbMATH DE number 1231594 (Why is no real title available?)
• scientific article; zbMATH DE number 1231595 (Why is no real title available?)
• scientific article; zbMATH DE number 1500554 (Why is no real title available?)
• scientific article; zbMATH DE number 1515281 (Why is no real title available?)
• Efficiency of asynchronous systems and read arcs in petri nets
• Timed testing of concurrent systems
• Using Time to Add Order to Distributed Testing
• Modeling concurrency with interval traces
• Testing semantics for urgent timed process algebras
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Fast asynchronous systems in dense time
• On the semantics of durational actions
• Efficiency of Token-Passing MUTEX-Solutions — Some Experiments
• A theory of processes with durational actions
• A faster-than relation for semi-Markov decision processes
• Relational structures model of concurrency

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

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