Browsing by Author "Nagarajan, Rajagopal"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- ItemOpen AccessAN INTRODUCTION TO MODAL LOGIC AND ITS APPLICATIONS ON THE CONCURRENCY WORKBENCH(1992-03-01) Aldwinckle, John; Birtwistle, Graham; Nagarajan, RajagopalNo Abstract
- ItemOpen AccessREASONING ABOUT ASYNCHRONOUS CIRCUITS IN AN IMPLEMENTATION OF CCS IN HOL(1992-08-01) Nagarajan, RajagopalNo Abstract