Artículo:

A bisimulation based semantic theory of safe ambients

Autor:

M. Merro

M. Hennessy

Página:

290

Publicación:

ACM Transactions On Programming Languages And Systems

Volúmen:

28

Número:

2

Periodo:

March 2006

ISSN:

01640925

SrcID:

01640925-2006-02.txt