42 results on '"Dill, David"'
Search Results
2. Chapter 7: Complete Trace Structures: 7.5: Examples or Complete Trace Structures.
3. Chapter 7: Complete Trace Structures: 7.4: Conformation.
4. Chapter 7: Complete Trace Structures: 7.3: Complete Trace Structures are a Circuit Algebra.
5. Chapter 7: Complete Trace Structures: 7.2: Complete Trace Structures and Receptiveness.
6. Chapter 6: Infinite Sequences and Infinite Games: 6.5: Decidability of Regular Games.
7. Chapter 6: Infinite Sequences and Infinite Games: 6.3: Regular Languages of Infinite Sequences.
8. Chapter 6: Infinite Sequences and Infinite Games: 6.2: Mathematical Preliminaries: Infinite Sequences.
9. Chapter 5: An Automatic Verifier: 5.5: Example 2: Martin's Distributed Mutual Exclusion Circuit.
10. Chapter 5: An Automatic Verifier: 5.4: Example 1: Tree Arbiter.
11. Chapter 5: An Automatic Verifier: 5.2: Descriptions and Specifications.
12. Chapter 4: Verification: 4.5: Examples.
13. Chapter 4: Verification: 4.3: Conformation Equivalence and Simplifications.
14. Chapter 4: Verification: 4.4: Environments and Mirrors.
15. Chapter 3: Prefix-closed Trace Structures: 3.3: Prefix-Closed Trace Structures.
16. Chapter 3: Prefix-closed Trace Structures: 3.4: Examples.
17. Chapter 2: Circuit Structure: 2.6: Structural Completeness.
18. Chapter 1: Introduction: 1.3: Background and Related Work.
19. Chapter 1: Introduction: 1.1: Introduction.
20. Chapter 7: Complete Trace Structures: 7.7: Practical Considerations.
21. Chapter 5: An Automatic Verifier: 5.3: Conformation Checking.
22. Chapter 4: Verification: 4.7: Lattice Properties.
23. Chapter 4: Verification: 4.2: Conformation.
24. Chapter 2: Circuit Structure: 2.5: A Circuit Algebra of Circuit Structures.
25. Chapter 2: Circuit Structure: 2.4: A Representation of Circuit Structures.
26. Chapter 2: Circuit Structure: 2.3: Circuit Algebra.
27. Chapter 2: Circuit Structure: 2.1: Introduction.
28. Chapter 1: Introduction: 1.5: Overview of the Thesis.
29. Chapter 1: Introduction: 1.2: Verification Issues.
30. Chapter 8: Conclusion: 8.1: Summary.
31. Chapter 8: Conclusion: 8.2: Future Work.
32. Chapter 7: Complete Trace Structures: 7.1: Introduction.
33. Chapter 6: Infinite Sequences and Infinite Games: 6.4: Infinite Games.
34. Chapter 5: An Automatic Verifier: 5.6: A Trace Theory Calculator.
35. Chapter 5: An Automatic Verifier: 5.1: Introduction.
36. Chapter 4: Verification: 4.6: Delay Insensitivity.
37. Chapter 4: Verification: 4.1: Introduction.
38. Chapter 3: Prefix-closed Trace Structures: 3.2: Mathematical Preliminaries: Finite Sequences.
39. Chapter 3: Prefix-closed Trace Structures: 3.1: Introduction.
40. Chapter 2: Circuit Structure: 2.2: Notation and Other Mathematical Preliminaries.
41. Chapter 1: Introduction: 1.4: Results of the Thesis.
42. Chapter 6: Infinite Sequences and Infinite Games: 6.1: Introduction.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.