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

partial order semanticsinterval semiword 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

(28)

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

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)