More About the Author
Faron George Moller (born February 25, 1962 in Trail, British Columbia) is a Canadian-born British computer scientist and expert on theoretical computer science, particularly infinite-state automata theory and temporal logic.
Review and Comments
Rate the Book
Logics for Concurrency: Structure versus Automata 0 out of 5 stars based on 0 ratings.