Searching for authors named "Jayadev Misra" – sorted by Relevance.
75 documents found, showing 1 through 10.
Next 10 →
-
Progress
- …Chapter 4 Progress Jayadev Misra 1 Department of Computer Sciences The University of Texas…
- Add To MetaCart
-
Safety Properties
- …Chapter 3 Safety Properties Jayadev Misra 1 Department of Computer Sciences The University…
- Add To MetaCart
-
A Treatment of Boolean Equations and Inequations
- …A Treatment of Boolean Equations and Inequations Jayadev Misra August 15, 2002 1 Introduction…
- Add To MetaCart
-
1 Introduction A Perspective on Formal Methods in Education
- …1 Introduction A Perspective on Formal Methods in Education Jayadev Misra Menlo Park, 6…
- Add To MetaCart
-
Modular Multiprogramming ∗
- …Modular Multiprogramming ∗ Jayadev MISRA † Department of Computer Sciences The University of Texas…
- Add To MetaCart
-
Course Notes for CS336: Preliminary Material Contents
- …Course Notes for CS336: Preliminary Material Contents Jayadev Misra The University of Texas…
- Add To MetaCart
-
1 Introduction Specification Structuring
- …1 Introduction Specification Structuring Jayadev Misra ∗ Department of Computer Sciences…
- Add To MetaCart
-
Computing the Spans in a sequence
- …Computing the Spans in a sequence Jayadev Misra 1/22/2001 The following problem has been treated…
- Add To MetaCart
-
An object model for multiprogramming
- …An Object Model for Multiprogramming Jayadev Misra The University of Texas at Austin Austin, Texas…
- Cited by 1 (0 self) – Add To MetaCart
-
Specifying Concurrent Objects as Communicating Processes
- …Specifying Concurrent Objects as Communicating Processes Jayadev Misra Department of Computer…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
