Home - Science - Temporal Logic |
Page 1 1-20 of 104 1 | 2 | 3 | 4 | 5 | 6 | Next 20 |
1. Temporal Logic The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application Category Science Math temporal logic......temporal logic. The term temporal logic has been Modallogic approachesto temporal logic. Tense Logic. Tense Logic was introduced by Arthur http://plato.stanford.edu/entries/logic-temporal/ | |
|
2. Foundations Of Temporal Logic The WWW-site For Prior-studies Devoted to the life and work of the founding father of temporal logic. Includes bibliography, interview Category Society Philosophy Philosophers Prior, Arthur Norman......Foundations of temporal logic The WWWsite for Prior-studies. You'llbe redirected in 10 seconds. Or you can click below Enter here. http://www.hum.auc.dk/prior/ | |
|
3. Temporal Logic Case Study A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. http://www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html | |
|
4. Kono's Temporal Logic Related Information A collection of papers by Shinji Kono on the Interval temporal logic. http://rananim.ie.u-ryukyu.ac.jp/~kono/temporal-logic-e.html | |
|
5. Temporal Logic temporal logic http://www-step.stanford.edu/tutorial/temporal-logic/temporal-logic.html | |
|
6. Marking Up Temporal Logic First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking Category Science Math temporal logic......PrevNextIndexThread Marking up temporal logic. To wwwmath@w3.org;Subject Marking up temporal logic; From Warren Searle ucabwas@ucl.ac.uk ; http://lists.w3.org/Archives/Public/www-math/msg00496.html | |
|
7. BRICS Lecture Series, Abstracts, 1997 A survey of the field by Jan Chomicki and David Toman. From the 1997 BRICS Lecture Series.Category Science Math temporal logic...... temporal logic in Information Systems. November 1997. viii+42 pp. Abstract Temporallogic is obtained by adding temporal connectives to a logic language. http://www.brics.dk/LS/97/Abs/BRICS-LS-97-Abs/ | |
|
8. Springer LINK: Formal Aspects Of Computing - Abstract Volume 12 Issue 1 (2000) P A flexible notation for both propositional and firstorder reasoning about periods of time found in Category Science Math temporal logic...... Composing and Refining Dense temporal logic Specifications. Antonio Cau. Keywordstemporal logic; Compositionality; Refinement. Article in PDF format (206 KB). http://link.springer.de/link/service/journals/00165/bibs/0012001/00120052.htm | |
|
9. TLA - The Temporal Logic Of Actions TLA The temporal logic of Actions. TLA (the temporal logic of Actions) is alogic for specifying and reasoning about concurrent and reactive systems. http://research.microsoft.com/users/lamport/tla/tla.html | |
|
10. TLA - The Temporal Logic Of ActionsTLA - The Temporal Logic Of Actions Last Modi Specification IS Verification. Automatic verification of protocols and Reactive systems using temporal logic temporal logic Time is of the Essence. temporal logic. temporal logic. Metric temporal logic temporal logic with real http://www.research.digital.com/SRC/personal/Leslie_Lamport/tla/tla.html | |
|
11. Welcome To Software Technology Research Laboratory De Montfort University Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering. http://www.cse.dmu.ac.uk/~cau/ | |
|
12. Foundations Of Temporal Logic - The WWW-site For Prior-studies Foundations of temporal logic The WWWsite for Prior-studies.This WWW-site is devoted to the Life and Work of Arthur Norman http://www.hum.auc.dk/prior/index2.htm | |
|
13. Temporal Logic Automatic verification of protocols and Reactive systems using TemporalLogic. temporal logic Time is of the Essence. temporal logic. http://www.time-rover.com/tl.html | |
|
14. Starlog At Waikato Department Of Computer Science Declarative temporal logic programming language for general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components a set of timed facts, a set of temporal logic rules. Somewhat like Prolog. http://www.cs.waikato.ac.nz/Research/starlog/index.html | |
|
15. Temporal Logic Automatic verification of protocols and Reactive systems using temporal logic.temporal logic Time is of the Essence. Safety properties in temporal logic. http://www.time-rover.com/ltl.html | |
|
16. Julian Bradfield's Home Page University of Edinburgh Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. http://www.dcs.ed.ac.uk/~jcb/ | |
|
17. Homepage Of Joeri Engelfriet Vrije Universiteit Amsterdam Formal models for static and dynamic aspects of complex reasoning processes, temporal logic, and belief revision. http://www.cs.vu.nl/~joeri/ | |
|
18. Re: Marking Up Temporal Logic PrevNextIndexThread Re Marking up temporal logic. Warren, What operatorsdo you need? I am unfamiliar with first order temporal logic. http://lists.w3.org/Archives/Public/www-math/msg00499.html | |
|
19. Martin Fränzle, Researcher In CS, Oldenburg University, Germany Universit¤t Oldenburg Formal methods, real-time and hybrid systems, hardware synthesis and verification, and temporal logic. http://ca.informatik.uni-oldenburg.de/~fraenzle/ | |
|
20. Shmuel Katz's Home Page The Technion Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (including for cache consistency), self-stabilization and fault-tolerance, formal specification methods. http://www.cs.technion.ac.il/~katz/ | |
|
Page 1 1-20 of 104 1 | 2 | 3 | 4 | 5 | 6 | Next 20 |