Logics for Concurrency: Structure versus Automata by Faron Moller (English) Pape
69,15 €
Specification Structures and propositions-as-types for concurrency. - Automated temporal reasoning about reactive systems. - Decidability results in automata and process theory. - Modal and temporal logics for processes.
Jetzt bei Ebay:
