C. Baier, J-P. Katoen and D. Latella. Metric semantics for true concurrent real time. In Automata, Languages, and Programming --- ICALP'98, LNCS 1443, pages 568--580. Springer-Verlag, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Stochastic Event Structures for the Decomposition of.. - Bohnenkamp, Haverkort (1999) (1 citation) (Correct)
....(which is, since we assume maximum progress here, the time of e s occurrence) The time is measured relatively to the system start. 4.3 SBES semantics for PH SPA In the following sections we assume a denotational PH SPA semantics [ T that is based on SBES. Its de nition is given in [6] and [7]. 5 Waiting times and stochastic bundle event structures 5.1 Connecting waiting times and SBES In this section we describe how waiting times, as introduced in Section 3, can be expressed by means of SBES. For the remainder we consider a PH SPA process P and de ne = E ; F ; G) P ] T ....
Christel Baier, Joost-Pieter Katoen, and Diego Latella. Metric semantics for true concurrent real time. In K.G. Larsen, S. Skyum, and G. Winskel, editors, Automata, Languages and Programming (ICALP'98), volume 1443 of Lecture Notes in Computer Science, pages 568-580. Springer Verlag, 1998.
Metric Semantics for True Concurrent Real Time - Katoen, Baier, Latella (1999) (1 citation) Self-citation (Baier Katoen Latella) (Correct)
....is developed in Section 5 which is the core part of the paper. Section 6 presents the operational interleaving semantics and investigates its consistency with the metric semantics. Concluding remarks are provided in Section 7. A preliminary short version of this paper has been published as [5]; some other 7 parts were contained in the dissertation [22] 2 A real time process algebra We assume a given set of observable actions Obs and an invisible action ; 62 Obs. The action p indicates the successful termination action of a process; p 62 Obs and p 6= Let IR denote the ....
C. Baier, J-P. Katoen and D. Latella. Metric semantics for true concurrent real time. In Automata, Languages, and Programming --- ICALP'98, LNCS 1443, pages 568--580. Springer-Verlag, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC