Searching for "Time for Concurrency." – sorted by Relevance.
1,053 documents found, showing 1 through 10.
Next 10 →
-
Time for Concurrency
- …Time for Concurrency Zohar Manna y Amir Pnueli z October 6, 1992 Abstract. A hierarchy…
- Cited by 1 (0 self) – Add To MetaCart
-
Modeling Timed Concurrent Systems
- …Modeling Timed Concurrent Systems Xiaojun Liu 1 , Eleftherios Matsikoudis 2 , and Edward A. Lee 2…
- Cited by 4 (4 self) – Add To MetaCart
-
Semantics of Timed Concurrent Systems
- …Semantics of Timed Concurrent Systems *+ Piotr DEMBISKI Institute of Computer Science…
- Add To MetaCart
-
On the Expressiveness of Timed Concurrent Constraint Programming
- …://www.elsevier.nl/locate/entcs/volume27.html 15 pages On the expressiveness of Timed Concurrent Constraint Programming ? Simone Tini…
- Cited by 10 (2 self) – Add To MetaCart
-
Foundations of Timed Concurrent Constraint Programming
- …Foundations of Timed Concurrent Constraint Programming Vijay A. Saraswat Radha Jagadeesan Vineet…
- Cited by 64 (10 self) – Add To MetaCart
-
Programming in Timed Concurrent Constraint Languages
- …4.4 Programming in Timed Concurrent Constraint Languages Vijay Saraswat, Radha Jagadeesan…
- Cited by 32 (4 self) – Add To MetaCart
-
Refinement of Atomicity in Real-Time Concurrent Systems
- … Queensland 4072 Australia TECHNICAL REPORT No. 00-07 Renement of Atomicity in Real-Time Concurrent Systems…
- Add To MetaCart
-
Real-time Concurrent Collection on Stock Multiprocessors
- …Real-time Concurrent Collection on Stock Multiprocessors Andrew W. Appel 1 John R. Ellis 2 Kai Li…
- Cited by 77 (6 self) – Add To MetaCart
-
Metric spaces as models for real-time concurrency
- …Metric spaces as models for real-time concurrency G.M. Reed and A.W. Roscoe 1 Oxford University…
- Cited by 36 (3 self) – Add To MetaCart
-
Measuring Behavioral Correspondence to a Timed Concurrent Model
- …Measuring Behavioral Correspondence to a Timed Concurrent Model Jonathan E. Cook, Cha He…
- Cited by 7 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
