Infinitary languages and fully abstract models of fair asynchronyReport as inadecuate




Infinitary languages and fully abstract models of fair asynchrony - Download this document for free, or read online. Document in PDF available to download.

1 MICAS - Modèles et implémentation des calculs syntaxiques IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires

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





Author: Philippe Darondeau -

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



DOWNLOAD PDF




Related documents