Home - Science - Logic Temporal |
Page 6 101-102 of 102 Back | 1 | 2 | 3 | 4 | 5 | 6 |
101. Ramanujam, R. Institute of Mathematical Sciences, Chennai Theory of distributed systems, temporal logics, Partial order models of concurrency, Logics of knowledge. http://www.imsc.ernet.in/~jam/ |
102. Stirling, Colin University of Edinburgh Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties. http://www.dcs.ed.ac.uk/~cps/ |
Page 6 101-102 of 102 Back | 1 | 2 | 3 | 4 | 5 | 6 |