, Communication and Concurrency, Prentice Hall, Englewood Cli#s, 1989. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Characteristic Formulae for Timed Automata - Aceto.. (2000) (1 citation) (Correct)
....specific time dependent behavioral relations. One such relation is the faster than bisimulation from [23] which explicitly requires one process to execute at least as fast as another, while having the same functional behaviour. See [3] for a similar proposal in the more classic setting of CCS [22]. We now proceed to review the timed behavioural relations over TLTSs studied in this paper. The notion of timed bisimulation stems from [28] It is the obvious adaptation to the timed setting of the classic definition due to Park [24] be a TLTS. A timed simulation is a relation 2 ....
, Communication and Concurrency, Prentice Hall, Englewood Cli#s, 1989.
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