Kyrre M. Begnum, Mark Burgess. Understanding Promise Theory Using Rewriting Logic. In Arosha K. Bandara, Mark Burgess, editors, Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings. Volume 4543 of Lecture Notes in Computer Science, pages 204-207, Springer, 2007. [doi]
@inproceedings{BegnumB07a,
title = {Understanding Promise Theory Using Rewriting Logic},
author = {Kyrre M. Begnum and Mark Burgess},
year = {2007},
doi = {10.1007/978-3-540-72986-0_26},
url = {http://dx.doi.org/10.1007/978-3-540-72986-0_26},
tags = {graph-rewriting, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/BegnumB07a},
cites = {0},
citedby = {0},
pages = {204-207},
booktitle = {Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings},
editor = {Arosha K. Bandara and Mark Burgess},
volume = {4543},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-72985-3},
}