 |
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
Abstract:
Available: bibtex entry
Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il