Automatic Detection of Incomplete Message Protocols in Concurrent Logic Programs

Michael Codish, Dennis Dams and Ehud Shapiro   

Proceedings of the Meta 90 workshop on meta-programming in logic; 1990


Available:    bibtex entry

Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel

© copyright notice