7124 search results - page 259 / 1425 » Programming Languages and Operating Systems |
172
click to vote
COORDINATION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
178
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
168
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
209
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
190
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...