Understanding Promise Theory Using Rewriting Logic

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]

Authors

Kyrre M. Begnum

This author has not been identified. Look up 'Kyrre M. Begnum' in Google

Mark Burgess

This author has not been identified. Look up 'Mark Burgess' in Google