Timed testing of concurrent systems
From MaRDI portal
Publication:1899907
DOI10.1006/inco.1995.1130zbMath0833.68048OpenAlexW2002076098MaRDI QIDQ1899907
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
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)
Related Items (15)
The difference between splitting in \(n\) and \(n+1\) ⋮ Efficiency of asynchronous systems and read arcs in petri nets ⋮ Faster asynchronous systems. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Relational structures model of concurrency ⋮ A theory of processes with durational actions ⋮ Modeling concurrency with interval traces ⋮ Unnamed Item ⋮ Fast asynchronous systems in dense time ⋮ On the semantics of durational actions ⋮ On performance congruences for process algebras ⋮ Absolute versus relative time in process algebras. ⋮ Efficiency of asynchronous systems, read arcs, and the MUTEX-problem ⋮ Partial order semantics and read arcs
This page was built for publication: Timed testing of concurrent systems