MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Interleaving Set Temporal Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

A Hierarchy of Partial Order Temporal Properties
by Marta Kwiatkowska, Doron Peled, Wojciech Penczek — 1994 — In Proc. Temporal Logic, LNCS
… in the temporal characterization. To this aim, we study the Generalized Interleaving Set Temporal Logic GISTL (an…
Cited by 1 (1 self) – Add To MetaCart

Axiomatizations of Temporal Logics on Trace Systems
by Wojciech Penczek — 1996 — Information Processing Letters 43
….g. Computation Tree Logic with past operators and an essential subset of Interleaving Set Temporal Logic. 1…
Cited by 4 (2 self) – Add To MetaCart

[23] D. Peled, All from One, One for All: on Model Checking using Representatives, 5th
by D. Peled, S. Katz, A. Pnueli, Proving Serializability, Temporal Logic
…, Theoretical Computer Science 4(1977), 277-299. [14] S. Katz, D. Peled, Interleaving Set Temporal Logic…
Add To MetaCart

On Undecidability of Propositional Temporal Logics on Trace Systems
by Wojciech Penczek — 1999
… Logic (POL) [21], Interleaving Set Temporal Logic (ISTL) [17], or Concurrent Compuation Tree Logic (CCTL…
Cited by 10 (2 self) – Add To MetaCart

Branching Time and Partial Order in Temporal Logics
by Wojciech Penczek — 1995 — Time and Logic: A Computational Approach
… ] - Partial Order Temporal Logic with Until and Since, ffl ISTL - Interleaving Set Temporal Logic…
Cited by 10 (2 self) – Add To MetaCart

Multi-Agent
by Pascal Van Eck, Multiagent Systems — 386
… on Information Systems. 14(2):175-211. Katz, S. and Peled, D. (1990). Interleaving set temporal logic…
Add To MetaCart

Specifying Communication in Distributed Information Systems
by Hans-dieter Ehrich, Carlos Caleiro — 1998 — Acta Informatica
… introduced by Pinter and Wolper [PW84], of interleaving set temporal logics [KP87] and of temporal logics…
Cited by 11 (6 self) – Add To MetaCart

Propositional Temporal Logics and Equivalences
by Ursula Goltz, Ruurd Kuiper, Wojciech Penczek — 1992 — the Proc. of CONCUR
…], (Quantified) Interleaving Set Temporal Logic ((Q)ISTL) [KP87], and Concurrent Computation Tree Logic (CCTL…
Cited by 10 (4 self) – Add To MetaCart

Modular Completeness
by For Communication Closed, Maarten Fokkinga, Mannes Poel — 1993 — CONCUR '93: 4th International Conference on Concurrency Theory
… of program construction underlies work on ISTL (interleaving set temporal logic) [KP87, KP89, KP90, KP92…
Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB