A logic for distributed transition systems

Kamal Lodaya,R. Ramanujam,P. Thiagarajan
DOI: https://doi.org/10.1007/BFb0013033
1988-05-30
Abstract:
What problem does this paper attempt to address?