Author of the publication

Assumption-Commitment in Automata.

, and . FSTTCS, volume 1346 of Lecture Notes in Computer Science, page 153-168. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Knowledge and the Ordering of Events in Distributed Systems., and . TARK, page 267-283. Morgan Kaufmann, (1994)Proving Fairness of Schedulers., and . Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 284-301. Springer, (1985)Dynamic Restriction of Choices: Synthesis of Societal Rules., and . LORI, volume 6953 of Lecture Notes in Computer Science, page 28-50. Springer, (2011)Automata and Compositional Strategies in Extensive Form Games., , and . Models of Strategic Reasoning, volume 8972 of Lecture Notes in Computer Science, Springer, (2015)Process Specification of Logic Programs., and . FSTTCS, volume 181 of Lecture Notes in Computer Science, page 31-43. Springer, (1984)Reasoning about Message Passing in Finite State Environments., and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 487-498. Springer, (2000)Stability under Strategy Switching., , and . CiE, volume 5635 of Lecture Notes in Computer Science, page 389-398. Springer, (2009)Automata over Infinite Alphabets., and . Modern Applications of Automata Theory, volume 2 of IISc Research Monographs Series, World Scientific, (2012)An Automaton Model of User-Controlled Navigation on the Web., and . CIAA, volume 2088 of Lecture Notes in Computer Science, page 208-216. Springer, (2000)Subgames within Large Games and the Heuristic of Imitation., and . Stud Logica, 102 (2): 361-388 (2014)