Metric semantics for true concurrent real time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1443 LNCS, Issue , 1998, Pages 568-579

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

^a UNIVERSITY OF MANNHEIM   (Germany)

^b UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^c ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; EQUIVALENCE CLASSES; SET THEORY; TOPOLOGY;

COMPLETE METRIC SPACE; DENOTATIONAL SEMANTICS; DISTANCE FUNCTIONS; EVENT STRUCTURES; NOTION OF DISTANCE; OPERATIONAL SEMANTICS; REAL-TIME PROCESS ALGEBRA; TIMED EVENT STRUCTURE;

SEMANTICS;

EID: 22044453863     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055085     Document Type: Conference Paper

References (18)

1. A.F. Ates, M. Bilgic, S. Saito and B. Sarikaya. Using timed CSP for specification verification and analysis of multi-media synchronization. IEEE J. on Sel. Areas in Comm., 14(1):126-137, 1996.
2. C. Baier and M.E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Th. Comp. Sci., 135:171-220, 1994.
3. C. Baier and M.E. Majster-Cederbaum. How to interpret consistency and establish consistency results for semantics of concurrent programming languages. Fund. Inf., 29:225-256, 1997.
4. C. Baier and M.E. Majster-Cederbaum. Metric semantics from partial order semantics. Acta Inf., 34:701-735, 1997.
5. J.W. de Bakker and J.I. Zucker. Processes and the denotational semantics of concurrency. Inf. and Contr., 54(1/2):70-120, 1982.
6. J.W. de Bakker and E.P. de Vink. Control Flow Semantics. MIT Press, 1996.
7. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comp. Netw. & ISDN Syst., 14:25-59, 1987.
8. J. Davies, J.W. Bryans and S.A. Schneider. Real-time LOTOS and timed observations. In Formal Description Techniques VIII. Chapmann & Hall, 1995.
9. J-P. Katoen. Quantitative and Qualitative Extensions of Event Structures. PhD thesis, University of Twente, 1996.
10. J-P. Katoen, D. Latella, R. Langerak and E. Brinksma. On specifying real-time systems in a causality-based setting. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1135, pages 385-405. Springer-Verlag, 1996.
11. R. Langerak. Bundle event structures: a non-interleaving semantics for LOTOS. In Formal Description Techniques V, pages 331-346. North-Holland, 1993.
12. R. Loogen and U. Goltz. Modelling nondeterministic concurrent processes with event structures. Fund. Inf., 14(1):39-74, 1991.
13. D. Murphy. Time and duration in noninterleaving concurrency. Fund. Inf., 19:403-416, 1993.
14. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Real-Time: Theory in Practice, LNCS 600, pages 526-548. Springer-Verlag, 1992.
15. M. Nivat. Infinite words, infinite trees, infinite computations. In Foundations of Computer Science III, Mathematical Centre Tracts 109, pages 3-52, 1979.
16. M. Nielsen, G.D. Plotkin and G. Winskel. Petri nets, event structures and domains, part 1. Th. Comp. Sc, 13(1):85-108, 1981.
17. G.M. Reed and A.W. Roscoe. A timed model for Communicating Sequential Processes. Th. Comp. Sc, 58:249-261, 1988.
18. J.J. Žic. Time-constrained buffer specifications in CSP+T and timed CSP. ACM Transactions on Programming Languages and Systems, 16(6):1661-1674, 1994.