Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2012

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

Samson Abramsky
  • Function : Scientific advisor
Computing Science Laboratory - Oxford University
Michael W. Mislove
  • Function : Scientific advisor
Department of Mathematics [Tulane, New Orleans]
Catuscia Palamidessi
  • Function : Scientific advisor
  • PersonId : 845654
Concurrency, Mobility and Transactions

Domains

Logic in Computer Science [cs.LO]

Catuscia Palamidessi  : Connect in order to contact the contributor

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

Submitted on : Monday, January 21, 2013-12:35:21 AM

Last modification on : Friday, March 24, 2023-2:52:56 PM

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00778536 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
160 View
0 Download

Share

Gmail Facebook X LinkedIn More