W. Janssen, M. Poel, Q. Wu and J. Zwiers. Layering of real-time distributed processes. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pages 393--417. Springer-Verlag, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....based on an advanced form of timed refusals in order to deal with divergence. Both works consider an interleaving semantics. Timed extensions of partial order models have received scant attention in the literature. For example, extensions of configurations [30] prime event structures [32] posets [21], and higher dimensional automata [20] do exist, but these models have not been used as a semantic model for a timed process algebra and are merely of theoretical interest. Murphy [32] uses time truncation in a similar way as we do as a basis for obtaining limiting infinite objects using ....

W. Janssen, M. Poel, Q. Wu and J. Zwiers. Layering of real-time distributed processes. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pages 393--417. Springer-Verlag, 1994.

....action prefix operator which constraints the occurrence time of actions, and a timeout and watchdog (i.e. timed interrupt) operator. The inclusion of time in partial order models is not new: e.g. extensions are known of pomsets [8] configurations [18] fand; org automata [12] sets of posets [13] and event structures [20] The timed extension of causal trees [10] resembles our model. We are, however, unaware of any proposal that incorporates time, timeouts, and watchdogs in a partial order setting. These ingredients are considered to be essential to specify real time systems. We use ....

W. Janssen, M. Poel, Q. Wu, and J. Zwiers. Layering of real-time distributed processes. In H. Langmaack, W.-P. de Roever, and J. Vytopil, Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pages 393--417. Springer-Verlag, 1994.

....here. 13] describes an interesting real time extension of CCS based on causal trees. 23] considers a theoretical model, called timed configurations, where all events are treated to be urgent. 26] treats a timed extension of event structures in which events have a duration and all are urgent. [16] introduce a real time process language consisting of simple sequential processes that are composed by means of layering and independent parallelism. An extension of Pratt s pomset model with delays is studied in [10] The behaviour of timed systems with both disjunctive and conjunctive ....

W. Janssen, M. Poel, Q. Wu, and J. Zwiers. Layering of real-time distributed processes. In H. Langmaack et al. (eds), Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863:393--417 (1994)

....but are incomparable with flow and stable event structures. Time in partial order models Timed extensions of partial order models have received scant attention in the literature. Extensions of pomsets (partially ordered multi sets) 16] configurations [58] prime event structures [62] posets [45], fand, org automata [34] and higher dimensional automata [33] are known to us, but these models have not been used as a semantic model for a timed process algebra and are merely of theoretical interest. Our approach resembles that of [24] 24] proposes a real time extension of causal ....

W. Janssen, M. Poel, Q. Wu and J. Zwiers. Layering of real-time distributed processes. In H. Langmaack, W.-P. de Roever & J. Vytopil, eds, Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pages 393--417. Springer-Verlag, 1994.

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