2300 search results - page 157 / 460 » Maximally Concurrent Programs |
109
Voted
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
89
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...
121
click to vote
PDP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
118
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
111
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...