AN INTRODUCTION TO MODAL LOGIC AND ITS APPLICATIONS ON THE CONCURRENCY WORKBENCH

Aldwinckle, JohnBirtwistle, GrahamNagarajan, Rajagopal2008-02-272008-02-271992-03-01http://hdl.handle.net/1880/45731No AbstractEngComputer ScienceAN INTRODUCTION TO MODAL LOGIC AND ITS APPLICATIONS ON THE CONCURRENCY WORKBENCHunknown1992-467-510.11575/PRISM/30373