Searching for "The Model Theory of Concurrency." – sorted by Relevance.
-
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

