Reasoning about Message Passing in Finite State Environments.

B. Meenakshi, Ramaswamy Ramanujam

Browse the full ICALP paper archive.