1206 search results - page 51 / 242 » Concurrent Abstract Predicates |
109
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
108
Voted
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
95
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
124
Voted
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. This paper studies an ex...
99
Voted
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...