Back to Results
First PageMeta Content
Computer science / Büchi automaton / Finite-state machine / Powerset construction / Infinite tree automaton / Ω-automaton / Automata theory / Theoretical computer science / Models of computation


Recognizing safety and liveness
Add to Reading List

Document Date: 2013-09-13 15:44:12


Open Document

File Size: 1,04 MB

Share Result on Facebook

Company

IBM / aeS / Information Processing Letters / I F I P Working Group / Distributed Computing / /

Country

United States / /

Facility

Cornell University / College Board Committe / /

Organization

Standing Organizing Committee for Principles of Distributed Computing Conferences / National Science Foundation / Department of Computer Science / Mathematics Department / Computer Science Department / Cornell University / U.S. Army Committee on Recommendations for Basic Research / Computer Science Department at Cornell University / /

Person

Fred B. Schneider / Bowen Alpern / /

Position

mp / Member Research Staff / associate professor / member / /

ProvinceOrState

New York / Saskatchewan / /

SocialTag