Pages that link to "Item:Q1899907"
From MaRDI portal
The following pages link to Timed testing of concurrent systems (Q1899907):
Displaying 15 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)
- (Q2844828) (← links)
- (Q4222914) (← links)
- (Q4222915) (← links)
- Efficiency of asynchronous systems and read arcs in petri nets (Q4571984) (← links)
- Fast asynchronous systems in dense time (Q5940928) (← links)
- On the semantics of durational actions (Q5958612) (← links)
