1015 search results - page 1 / 203 » Syntactic Control of Concurrency |
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
POPL
2012
ACM
12 years 29 days ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
PADL
2011
Springer
12 years 8 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
SOFSEM
2009
Springer
14 years 2 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
CONCURRENCY
2002
13 years 5 months ago
2002
