Logic of global synchrony

Full Text:

Pdf

Buy this Article

Authors:	Yifeng Chen	University of Leicester, Leicester, U.K.
	J. W. Sanders	University of Oxford, Oxford, U.K

Published in:

· Journal

ACM Transactions on Programming Languages and Systems (TOPLAS) TOPLAS Homepage archive

Volume 26 Issue 2, March 2004
Pages 221 - 262
ACM New York, NY, USA
table of contents doi>10.1145/973097.973098

	2004 Article
Bibliometrics
· Downloads (6 Weeks): 0 · Downloads (12 Months): 17 · Downloads (cumulative): 572 · Citation Count: 5

Tools and Resources

Tags: alternation and nondeterminism bulk-synchronous parallelism concurrent programming structures denotational semantics interactive and reactive computation languages logics of programs parallelism and concurrency pram reactive programming recursion semantics specification techniques theory