3307 search results - page 81 / 662 » The meaning of concurrent programs |
115
click to vote
AGENTCL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
104
click to vote
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
96
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
110
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...
89
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Efficient communication and synchronization is crucial for finegrained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often ca...