Electronic Proceedings in Theoretical Computer Science
Collection
Collection
-
Coordination games on directed graphs In Proceedings
K.R. Apt (Krzysztof), S.E. Simon (Sunil) and D.K. Wojtczak (Dominik)
June 2016
-
A compositional framework for preference-aware agents In Proceedings
T.W.J. Kappé (Tobias), F. Arbab (Farhad) and C. Talcott (Carolyn)
December 2016
-
Common Knowledge in a Logic of Gossips In Proceedings
July 2017 -
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract) In Proceedings
September 2017
-
Well-founded extensive games with perfect information In Proceedings
June 2021
-
Choreographic programming of isolated transactions In Proceedings
April 2023
-
July 2023
-
Parallel pushdown automata and commutative context-free grammars in bisimulation semantics In Proceedings
September 2023