Fast asynchronous systems in dense time

Theoretical Computer Science

Volumn 254, Issue 1-2, 2001, Pages 379-422

  Jenner, Lars ^a   Vogler, Walter ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

Asynchronous systems; Discretization; Efficiency; Petri nets; Testing

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; PETRI NETS; RESPONSE TIME (COMPUTER SYSTEMS);

ASYNCHRONOUS SYSTEMS;

EMBEDDED SYSTEMS;

EID: 0034920964     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00304-7     Document Type: Article

References (22)

1. A theory of timed automata
2. An efficiency preorder for processes
3. Conformance: A precongruence close to bisimilarity
4. A theory of testing for real-time
5. Performance preorder and competitive equivalence
6. Testing equivalence for processes
7. A process algebra for timed systems
8. On describing the behaviour and implementation of distributed systems
9. Forward and backward simulations I: Untimed systems
10. Relating processes with respect to speed
11. Economical solutions for the critical section problem in a distributed system
12. Refusal testing
13. On time Petri nets
14. Petri Nets
15. Modular construction and partial order semantics of Petri nets
16. Timed testing of concurrent systems
17. Faster asynchronous systems
18. Efficiency of asynchronous systems and read arcs in Petri nets