L. de Alfaro, T. A. Henzinger, and M. Stoelinga. Timed interfaces. In Proc. EMSOFT, volume 2491 of LNCS, pages 108--122, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Interface Formalism for Web Services - Beyer, Chakrabarti, Henzinger (2005) Self-citation (Henzinger) (Correct)
No context found.
L. de Alfaro, T. Henzinger, and M. Stoelinga. Timed Interfaces. In Proc. EMSOFT, LNCS 2491, pages 108--122. Springer, 2002.
Interfaces: A Game-Theoretic Framework for Reasoning about . . . - de Alfaro, al. Self-citation (De alfaro Stoelinga) (Correct)
No context found.
L. de Alfaro, T.A. Henzinger, and M.I.A. Stoelinga. Timed interfaces. In Proceedings of the Second International Workshop on Embedded Software (EMSOFT 2002), volume 2491 of Lect. Notes in Comp. Sci., pages 108-122. Springer-Verlag, 2002.
The Element of Surprise in Timed Games - de Alfaro, Faella, Henzinger.. Self-citation (De alfaro Henzinger Stoelinga) (Correct)
No context found.
L. de Alfaro, T.A. Henzinger, and M.I.A. Stoelinga. Timed interfaces. In Embedded Software, Lect. Notes in Comp. Sci. 2491, pages 108--122. Springer, 2002.
The Element of Surprise in Timed Games - de Alfaro, Faella, Henzinger.. Self-citation (De alfaro Henzinger Stoelinga) (Correct)
....2 can stop time, preventing the action from ever becoming enabled, and ensuring that no run is in . In [MPS95] the winning condition td is proposed. This condition requires player 1 to guarantee time divergence, which is not possible in models where player 2 can block the progress of time. In [dAHS02], this condition is modi ed to WC i ( td) Blameless i for player i 2 f1; 2g. While this is appropriate in the asymmetric setting considered there, the problem in our setting, where both players are treated completely symmetrically, is that the two conditions WC 1 ( and WC 2 ( ....
L. de Alfaro, T.A. Henzinger, and M.I.A. Stoelinga. Timed interfaces. In Embedded Software, Lect. Notes in Comp. Sci. 2491, pages 108-122. Springer, 2002.
Models and Temporal Logics for Timed Component Connectors - Arbab, Baier, de Boer.. (2004) (Correct)
No context found.
L. de Alfaro, T. A. Henzinger, and M. Stoelinga. Timed interfaces. In Proc. EMSOFT, volume 2491 of LNCS, pages 108--122, 2002.
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