Metric semantics for true concurrent real time

Theoretical Computer Science

Volumn 254, Issue 1-2, 2001, Pages 501-542

  Katoen, Joost Pieter ^a,d   Baier, Christel ^b   Latella, Diego ^c  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^b UNIVERSITY OF MANNHEIM   (Germany)

^c ISTI CNR   (Italy)

^d UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

(Bundle) event structure; Consistency of semantics; Denotational semantics; Interleaving; Metric space; Process algebra; Real time; Semantics; True concurrency

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; CONCURRENT ENGINEERING; REAL TIME SYSTEMS;

METRIC SEMANTICS;

COMPUTATIONAL LINGUISTICS;

EID: 0034898656     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00342-4     Document Type: Article

References (41)

1. Domain theory
2. Timing and causality in process algebra
3. A theory of timed automata
4. Using timed CSP for specification verification and analysis of multi-media synchronization
5. Metric semantics for true concurrent real time
6. Denotational semantics in the cpo and metric approach
7. The connection between an event structure semantics and an operational semantics for TCSP
8. How to interpret consistency and establish consistency results for semantics of concurrent programming languages
9. Metric semantics from partial order semantics
10. Processes and the denotational semantics of concurrency
11. Denotational models for programming languages: Applications of Banach's fixed point theorem
12. Introduction to the ISO specification language LOTOS
13. Flow models of distributed computations: Three equivalent semantics for CCS
14. Parallel product of event structures
15. Real-time LOTOS and timed observations
16. A constraint-oriented real-time process calculus
17. A simple, expressive real-time CCS
18. Durations for truly-concurrent transitions
19. Layering of real-time distributed processes
20. On specifying real-time systems in a causality-based setting
21. A consistent causality-based view on a timed process algebra including urgent interactions
22. Bundle event structures: A non-interleaving semantics for LOTOS
23. Causal ambiguity and partial orders in event structures
24. Modelling nondeterministic concurrent processes with event structures
25. Towards an algebra for timed behaviours
26. Basic notions of trace theory
27. Time and duration in noninterleaving concurrency
28. An overview and synthesis on timed process algebras
29. Petri nets, event structures and domains, Part 1
30. Infinite words, infinite trees, infinite computations
31. A timed model for Communicating Sequential Processes
32. Posets for configurations!
33. Event structure semantics for CCS and related languages
34. Time-constrained buffer specifications in CSP+T and timed CSP