Timed testing of concurrent systems
From MaRDI portal
Recommendations
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)