88 search results - page 7 / 18 » Matching Systems for Concurrent Calculi |
150
Voted
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
117
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
132
Voted
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
115
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...