Pages that link to "Item:Q1899907"
From MaRDI portal
The following pages link to Timed testing of concurrent systems (Q1899907):
Displaying 26 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- A theory of processes with durational actions (Q674005) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- The difference between splitting in \(n\) and \(n+1\) (Q1370654) (← links)
- Faster asynchronous systems. (Q1401952) (← links)
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem (Q1607225) (← links)
- Partial order semantics and read arcs (Q1608891) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Timing-sequence testing of parallel programs (Q1966509) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Translating Testing Theories for Concurrent Systems (Q3449629) (← links)
- On the Merits of Temporal Testers (Q3512440) (← links)
- (Q4222914) (← links)
- (Q4222915) (← links)
- (Q4507811) (← links)
- Efficiency of asynchronous systems and read arcs in petri nets (Q4571984) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
- Using Time to Add Order to Distributed Testing (Q4647846) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900956) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900959) (← links)
- Fast asynchronous systems in dense time (Q5940928) (← links)
- On the semantics of durational actions (Q5958612) (← links)
- Efficiency of Token-Passing MUTEX-Solutions — Some Experiments (Q6487392) (← links)
