Artículo:

A programming model for concurrent object-oriented programs.

Autor:

Bart Jacobs

Frank Piessens

Jan Smans

K. Rustan M. Leino

Wolfram Schulte:

Página:

1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

1

Periodo:

January 2009

ISSN:

01640925

SrcID:

01640925-2009-01.txt