A preliminary proposal of decidable testing relations for infinitary asynchronous CCS (position paper) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A preliminary proposal of decidable testing relations for infinitary asynchronous CCS (position paper)

Giuseppe Castagna
Preuves, Programmes et Systèmes
Luca Padovani
  • Fonction : Auteur
Dipartimento di Informatica [Torino]

Domaines

Langage de programmation [cs.PL]

Giuseppe Castagna  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00700685

Soumis le : mercredi 23 mai 2012-16:22:46

Dernière modification le : mardi 9 janvier 2024-12:34:04

Fichier non déposé

Dates et versions

hal-00700685 , version 1 (23-05-2012)

Identifiants

  • HAL Id : hal-00700685 , version 1

Citer

Giuseppe Castagna, Luca Padovani. A preliminary proposal of decidable testing relations for infinitary asynchronous CCS (position paper). INFINITY 2009: 11th International Workshop on Verification of Infinite-State Systems, 2009, France. ⟨hal-00700685⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
34 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More