331 results on '"Misra, Jayadev"'
Search Results
2. Bilateral Proofs of Safety and Progress Properties of Concurrent Programs
3. Preface
4. Preface to Special Issue on Software Verification
5. The Verified Software Initiative: A Manifesto
6. Finding Effective Abstractions
7. CV
8. Designing a Calculational Proof of Cantor's Theorem
9. A Denotational Semantic Theory of Concurrent Systems
10. Orchestration
11. Conditional and Closure Properties
12. Action Systems
13. Small Examples
14. Program Composition
15. Maximality Properties
16. Progress Properties
17. Safety Properties
18. An Object-Oriented View of Action Systems
19. Distributed Implementation
20. A Logic for Seuss
21. A Discipline of Multiprogramming
22. Reduction Theorem
23. Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
24. The Orc Programming Language
25. Structured Interacting Computations : (A Position Paper)
26. Simulation Using Orchestration : (Extended Abstract)
27. A Language for Task Orchestration and Its Semantic Properties
28. Workflow Patterns in Orc
29. A Tree Semantics of an Orchestration Language
30. Computation Orchestration : A Basis for Wide-Area Computing
31. Active and Concurrent Topology Maintenance
32. A Theory of Hints in Model Checking
33. A reduction theorem for concurrent object-oriented programs
34. Orchestrating Computations on the World-Wide Web
35. Virtual Time and Timeout in Client-Server Networks : (Extended Abstract)
36. An object model for multiprogramming
37. A perspective on parallel program design
38. Maintaining the Ranch topology
39. Loosely-Coupled Processes (Preliminary Version)
40. A Simple Proof of a Simple Consensus Algorithm
41. Orchestration
42. A secure voting scheme based on rational self-interest
43. A timed semantics of Orc
44. Computation Orchestration: A Basis for Wide-area Computing
45. Concurrent Maintenance of Rings
46. Computing with Distributed Resources
47. A Simple, Object-Based View of Multiprogramming
48. Virtual Time and Timeout in Client-Server Networks
49. Maximally Concurrent Programs
50. The Orc Programming Language
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.