Search results for: Jayadev Misra
Reflections on the Work of C.A.R. Hoare > 229-254
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Invited Contribution > 1-25
Lecture Notes in Computer Science > Euro-Par 2003 Parallel Processing > Topic 9: Distributed Algorithms > 623-623
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > Verification > 423-438
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > II Theory and Formal Methods > 139-145
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > Process Algebras and Experimental Calculi > 285-330
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 222-222