The Replacement Operation for CCP Programs

Authors:
Marco Bertolino;Sandro Etalle;Catuscia Palamidessi
Affiliations:
-;-;-
Venue:
LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
Year:
1999

Infinite Unfolding and Transformations of Nondeterministic Programs

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Concurrent and reactive constraint programming

A 25-year perspective on logic programming
Infinite Unfolding and Transformations of Nondeterministic Programs

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Models and emerging trends of concurrent constraint programming

Constraints

Hi-index	0.00