9 results on '"Emerson, E. Allen"'
Search Results
2. Multi-threaded reachability
3. Synthesis of fault-tolerant concurrent programs
4. Synthesis of concurrent systems for an atomic read/atomic write model of computation
5. Reasoning about rings
6. Formal specification of asynchronous distributed real-time systems by APTL
7. Decision procedures and expressiveness in the temporal logic of branching time
8. Deciding branching time logic
9. "Sometimes" and "not never" revisited
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.