434 search results - page 3 / 87 » A Distributed and Probabilistic Concurrent Constraint Progra... |
ENTCS
2006
13 years 5 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
PPDP
2009
Springer
13 years 12 months ago
2009
Springer
POPL
1999
ACM
13 years 9 months ago
1999
ACM
CSFW
1998
IEEE
13 years 9 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...