Timed testing of concurrent systems

DOI10.1006/inco.1995.1130zbMath0833.68048OpenAlexW2002076098MaRDI QIDQ1899907

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)

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