Searching for "The Model Theory of Concurrency." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Fortran-S: A Uniform Functional Interface to Parallel Imperative Languages
- … computation models and theory of concurrent computation into a programming system for constructing verifiable…
- Cited by 12 (2 self) – Add To MetaCart
-
Concurrency and Concurrent Constraint Programming
- …. In the literature there are many approaches to model concurrent languages. However, they all have to make a choice…
- Cited by 3 (0 self) – Add To MetaCart
-
Final Report
- … diverse models and theories of concurrency. Much progress to this end has already been achieved in CLICS I…
- Add To MetaCart
-
Concurrent Logic Programming in Linear Logic
- … logic. A general relationship between logic model theory and concurrency which can overcome…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 4.
