MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  found at the ENTCS Macro Home Page. Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems

Download:
Download as a PDF | Download as a PS
by Luca De Alfaro
http://wwwhome.cs.utwente.nl/~marielle/papers/tutorial.ps
Add To MetaCart

Abstract:

Replace this le with prentcsmacro.sty for your meeting,

Citations

1451 A theory of timed automata – Alur, Dill - 1994
88 A fully abstract game semantics for general references – Abramsky, Honda, et al. - 1998
38 Semantics of interaction – Abramsky - 1996
9 A type-theoretic approach to deadlock-freedom of asynchronous systems – Abramsky, Gay, et al. - 1997
4 in the semantics of programming languages – Games - 1997