The replacement operation for CCP programs

M. Bertolino, S. Etalle, C. Palamidessi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	1999 Joint Conference on Declarative Programming (Proceedings AGP'99, L'Aquila, Italy, September 6-9, 1999)
Editors	M.C. Meo, M. Vilares Ferro
Pages	441-454
Publication status	Published - 1999

Cite this

@inproceedings{1a8ad1dca2fe4f6a95e80aec893d1a8d,

title = "The replacement operation for CCP programs",

author = "M. Bertolino and S. Etalle and C. Palamidessi",

year = "1999",

language = "English",

pages = "441--454",

editor = "M.C. Meo and {Vilares Ferro}, M.",

booktitle = "1999 Joint Conference on Declarative Programming (Proceedings AGP'99, L'Aquila, Italy, September 6-9, 1999)",

}