found at the ENTCS Macro Home Page. Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems
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 |

