On decidability properties of two fragments of the asynchronous π-calculus

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Jesús A. Aranda B.
Format:	Artículo científico
Language:	en
Published:	Universidad del Valle 2013
Subjects:	Ingeniería divergence convergence Expressiveness process calculi
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet