A modal process logic, in (1988)

by K G Larsen, B Thomsen
Venue:Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS’88), IEEE Computer Society