MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic of global synchrony." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Logic of Global Synchrony
by Yifeng Chen, J.W. Sanders — 2001
…Programming Research Group LOGIC OF GLOBAL SYNCHRONY Chen, Yifeng and J. W. Sanders PRG-RR-01…
Cited by 13 (10 self) – Add To MetaCart

Logic of Global Synchrony
by Yifeng Chen University, Yifeng Chen, J. W. Sanders — 2000 — ACM Transactions on Programming Languages and Systems
…Logic of Global Synchrony YIFENG CHEN University of Leicester and J. W. SANDERS University…
Add To MetaCart

Top-Down Design of Bulk-Synchronous Parallel Programs
by Yifeng Chen, J. W. Sanders — 2003 — Parallel Processing Letters
… and a semantic model) called the Logic of Global Synchrony, Logs. Logs uses predicates to specify…
Cited by 2 (1 self) – Add To MetaCart

A fixpoint theory for non-monotonic parallelism
by Yifeng Chen — 2002
… developed based on semantics with miracles [1]. Our study on global synchrony [8] used miracles…
Cited by 6 (4 self) – Add To MetaCart

The Weakest Specifunction
by Chen Yifeng, J. W. Sanders
… by the specification space Logs(w) of logic for global synchrony having signature w [7]. It is in the context of Logs…
Add To MetaCart

Showing 1 through 5.

ATOM

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