Weak and branching bisimulation in Fctool

Autor: Bouali, Amar
Přispěvatelé: Centre de Mathématiques Appliquées (CMA), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Concurrency, Synchronization and Real-time Programming (MEIJE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), INRIA, MINES ParisTech - École nationale supérieure des mines de Paris
Jazyk: angličtina
Rok vydání: 1992
Předmět:
Zdroj: [Research Report] RR-1575, INRIA. 1992
Popis: Disponible dans les fichiers attachés à ce document
Databáze: OpenAIRE