Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
section 1 sur 1
résultats 1 à 1
Canal-u.fr
CoNeCo: Concurrency, Networks and Coinduction  Droits d'accès : non autorisé
Description : In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs.  Orthogonally, b ...
Date : 16-05-2019
 Description complète
CoNeCo: Concurrency, Networks and Coinduction
Accéder aux documents