Don't Know in the µ-Calculus
No abstract available.
Related papers
- A New Cognitive Perspective on Simplicity in System and Product Design Onward! 2024
- Welcome to the Educational Pearls Column JFP 2003
- The essence of online data processing OOPSLA 2022
- Don't exhaust, don't waste: Resource-aware soundness for big-step semantics JFP 2026
- Why is your web browser using so much memory? ISMM 2012
- Determinacy Testing for Nondeterminate Logic Programming Languages TOPLAS 1994
- Shoggoth: A Formal Foundation for Strategic Rewriting POPL 2024
- Changing the Engine of the Car? While Driving 60 Miles an Hour! (Panel) OOPSLA 1997