A structural induction theorem for processes (1989)

by R P Kurshan, K McMillan
Venue:Proceedings of the 8th Annual Symposium on Principles of Distributed Computing