Artículo:

A Theory of Synchronous Relational Interfaces

Autor:

Stavros Tripakis

Ben Lickly

Thomas A. Henzinge

Edward A. Lee

Página:

14.1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

33

Número:

04

Periodo:

2011

ISSN:

01640925

SrcID:

01640925-2011-04.txt