Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2)

Samson Abramsky; Michael W. Mislove; Catuscia Palamidessi

Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2012

Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2)

(1) , (2) , (3)

1
2
3

Samson Abramsky

Fonction : Directeur scientifique

Computing Science Laboratory - Oxford University

Michael W. Mislove

Fonction : Directeur scientifique

Department of Mathematics [Tulane, New Orleans]

Catuscia Palamidessi

Fonction : Directeur scientifique
PersonId : 845654

Concurrency, Mobility and Transactions

Domaines

Logique en informatique [cs.LO]

Catuscia Palamidessi : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00778536

Soumis le : lundi 21 janvier 2013-00:35:21

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

Dates et versions

hal-00778536 , version 1 (21-01-2013)

Identifiants

HAL Id : hal-00778536 , version 1

Citer

Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi (Dir.). Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2). Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier B.V., pp.125, 2012. ⟨hal-00778536⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2

160 Consultations

0 Téléchargements

Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2)

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager