I.Nunes J.L.Fiadeiro W.M.Turski Department of Informatics Institute of...  Home/Search
Context Related
| sri.com/~llf/papers/ICTL97.ps fiadeiro.org/jose/papers/ICTL97.pdf di.fc.ul.pt/~in/papers/ml.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sri.com/~llf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we extend this model by relaxing the second assumption of atomicity. That is to say, while assuming that actions compute their effects without interference from the environment by executing on a local copy of the state, we develop a logic in which actions can have duration, i.e. we admit that the global state of the system can change while an action is executing. Notice that we use the term durative not to (*) This work was partially supported by JNICT through contracts PRAXIS XXI... (Update)
Cited by: More
in Coordination Languages and Models, D. Garlan and D.. - Lncs Pp Coordinating (Correct)
Active bibliography (related documents): More All
0.5: A Graphical Interval Logic for Specifying Concurrent Systems - Dillon (1994) (Correct)
0.0: A Relational Model for Temporal Logic - von Karger, Berghammer (1998) (Correct)
0.0: Provably Correct Systems - He, Hoare, Fränzle, Müller-Olm.. (1994) (Correct)
Similar documents based on text: More All
0.2: Extending the Teleo-Reactive Paradigm for Robotic Agent Task.. - Katz (1997) (Correct)
0.1: Attention-locked Computation with Chaotic Neural Nets - Lourenco (2004) (Correct)
0.1: Institutions for Behaviour Specification - Fiadeiro, Costa (1995) (Correct)
BibTeX entry: (Update)
I.Nunes, J.L.Fiadeiro and W.M.Turski, "A Modal Logic of Durative Actions", in ICTL97, Kluwer, in print, 1997. http://citeseer.ist.psu.edu/nunes97modal.html More
@misc{ nunes97modal,
author = "I. Nunes and J. Fiadeiro and W. Turski",
title = "A Modal Logic of Durative Actions",
text = "I.Nunes, J.L.Fiadeiro and W.M.Turski, A Modal Logic of Durative Actions,
in ICTL97, Kluwer, in print, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/nunes97modal.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
202 Modal and Temporal Logics (context) - Stirling - 1992
195 Parallel Program Design (context) - Chandy, Misra - 1988
32 A Calculus of Durations (context) - Chaochen, Hoare et al. - 1991
25 A Modal Logic for Chopping Intervals (context) - Venema - 1991
2 First-Order Future Interval Logic - Kutty, Moser et al. - 1994
2 On Specification of Multiprocessor Computing (context) - Turski - 1990
2 Extending the Computing Paradigm (context) - Turski - 1992
1 Semantics of Behavioural Specifications (context) - Nunes, Fiadeiro et al. - 1996
1 Coordinating Durative Actions (context) - Nunes, Fiadeiro et al. - 1997
Documents on the same site (http://www.csl.sri.com/~llf/):
Towards an Algebra of Architectural Connectors: a Case.. - Wermelinger, Fiadeiro (1998) (Correct)
Interconnecting Objects Via Contracts - Andrade, Fiadeiro (1999) (Correct)
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