Download:
|
by Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
http://www.dimi.uniud.it/~falaschi/Papers/tcs97.ps.gz
Add To MetaCart
Abstract:
d;1;3
Citations
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
1266
|
Abstract interpretation : a unified lattice model for the static analysis of programs by construction or approximation of fixpoints
– Cousot, Cousot
- 1977
|
|
1069
|
A calculus of communicating systems
– Milner
- 1980
|
|
408
|
Concurrent constraint programming
– Saraswat
- 1993
|
|
245
|
Semantics foundations of concurrent constraint programming
– Saraswat, Rinard, et al.
- 1991
|
|
87
|
Foundations of Logic Programming (2nd edition
– Lloyd
- 1987
|
|
59
|
Proving concurrent constraint programs correct
– Boer, Gabbrielli, et al.
- 1997
|
|
52
|
A fully abstract model for concurrent constraint programming
– Boer, Palamidessi
|
|
34
|
Efficient analysis of concurrent constraint logic programs
– Codish, Falaschi, et al.
|
|
33
|
Angelic non-determinism in concurrent constraint programming
– Jagadeesan, Shanbhogue, et al.
- 1991
|
|
25
|
Compositional analysis for concurrent constraint programming
– Falaschi, Gabbrielli, et al.
- 1993
|
|
20
|
The expressive power of indeterminate dataflow primitives
– Panangaden, Shanbhogue
- 1992
|
|
4
|
An algebraic perspective of constraint logic programming
– Boer, Pierro, et al.
- 1995
|
|
3
|
Abstracting synchronisation in concurrent constraint programming
– Zaffanella, Levi, et al.
- 1994
|
