An elarged definition and complete axiomatization of observational congruence of finite processesReportar como inadecuado




An elarged definition and complete axiomatization of observational congruence of finite processes - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 Semantique du parallelisme IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes

Résumé : Disponible dans les fichiers attachés à ce document





Autor: Philippe Darondeau -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados