Searching for "The Temporal Semantics of Concurrent Programs." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs
by Abdelillah Mokkedem, Dominique Méry — 1994 — In Temporal Logic: First International Conference, ICTL '94, number 827 in Lecture Notes in Artificial Intelligence
… the description of temporal semantics of concurrent programs in a modular way. 3.3 Validity and Provability…
Cited by 8 (1 self) – Add To MetaCart

Model Checking Multi-Agent Systems with MABLE
by Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons — 2002
… by the temporal semantics of concurrent programs [14, 15]. The idea behind temporal semantics is that the meaning…
Cited by 57 (9 self) – Add To MetaCart

Showing 1 through 2.

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