Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Electronic Notes in Theoretical Computer Science, Volume 175(3).

Roberto M. Amadio; Iain Phillips

Ouvrages Année : 2007

Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Electronic Notes in Theoretical Computer Science, Volume 175(3).

(1) , (2)

1
2

Roberto M. Amadio

Fonction : Directeur scientifique
PersonId : 736494
IdHAL : roberto-m-amadio
IdRef : 074696548

Preuves, Programmes et Systèmes

Iain Phillips

Fonction : Directeur scientifique

Imperial College London

Domaines

Logique en informatique [cs.LO]

Roberto M. Amadio : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00156378

Soumis le : mercredi 20 juin 2007-20:32:50

Dernière modification le : vendredi 24 mars 2023-14:52:49

Dates et versions

hal-00156378 , version 1 (20-06-2007)

Identifiants

HAL Id : hal-00156378 , version 1

Citer

Roberto M. Amadio, Iain Phillips (Dir.). Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Electronic Notes in Theoretical Computer Science, Volume 175(3).. Elsevier, pp.150, 2007. ⟨hal-00156378⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS

27 Consultations

0 Téléchargements

Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Electronic Notes in Theoretical Computer Science, Volume 175(3).

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager