The following pages link to E. Allen Emerson (Q1051418):
Displaying 18 items.
- (Q198031) (redirect page) (← links)
- Using branching time temporal logic to synthesize synchronization skeletons (Q1051419) (← links)
- Uniform inevitability is tree automaton ineffable (Q1108048) (← links)
- An automata theoretic decision procedure for the propositional mu- calculus (Q1119630) (← links)
- Modalities for model checking: Branching time logic strikes back (Q1820578) (← links)
- Alternative semantics for temporal logics (Q2265815) (← links)
- Decision procedures and expressiveness in the temporal logic of branching time (Q2265816) (← links)
- (Q2723423) (← links)
- (Q2769609) (← links)
- Synthesis of fault-tolerant concurrent programs (Q2790112) (← links)
- (Q2848428) (← links)
- (Q2848460) (← links)
- (Q2848659) (← links)
- Synthesis of concurrent systems for an atomic read/atomic write model of computation (Q2942723) (← links)
- An Algorithmic Framework for Synthesis of Concurrent Programs (Q3172943) (← links)
- (Q3203012) (← links)
- (Q3219755) (← links)
- (Q3336675) (← links)
