Detecting Stable Properties of Networks in Concurrent Logic Programming Languages.

Vijay A. Saraswat, Kenneth M. Kahn, David Weinbaum

Browse the full PODC paper archive.