Mathematical Structures in Computer Science

Table of Contents - Volume 20 - Special Issue 01 (Expressiveness in Concurrency 2008) - 2010

Editorial Preface

 
preview

THOMAS HILDEBRANDT and DANIELE GORLA

Mathematical Structures in Computer Science / Volume 20 / Special Issue 01 / February 2010, pp 1 - 2

DOI: http://dx.doi.org/10.1017/S0960129509990235 (About DOI), Published online: 26 February 2010

 

Post a Comment

Paper

 
preview

MICHELE BUGLIESI and RICCARDO FOCARDI

Mathematical Structures in Computer Science / Volume 20 / Special Issue 01 / February 2010, pp 3 - 44

DOI: http://dx.doi.org/10.1017/S0960129509990247 (About DOI), Published online: 26 February 2010

 

Post a Comment

 
preview

LUCA CARDELLI and GIANLUIGI ZAVATTARO

Mathematical Structures in Computer Science / Volume 20 / Special Issue 01 / February 2010, pp 45 - 73

DOI: http://dx.doi.org/10.1017/S0960129509990259 (About DOI), Published online: 26 February 2010

 

Post a Comment

 
preview

ADAM ANTONIK, MICHAEL HUTH, KIM G. LARSEN, ULRIK NYMAN and ANDRZEJ WĄSOWSKI

Mathematical Structures in Computer Science / Volume 20 / Special Issue 01 / February 2010, pp 75 - 103

DOI: http://dx.doi.org/10.1017/S0960129509990260 (About DOI), Published online: 26 February 2010

 

Post a Comment

Front Cover (OFC, IFC) and matter

 
preview
Mathematical Structures in Computer Science / Volume 20 / Special Issue 01 / February 2010, pp f1 - f2

DOI: http://dx.doi.org/10.1017/S0960129510000046 (About DOI), Published online: 26 February 2010

 

Post a Comment

Back Cover (IBC, OBC) and matter

 
preview
Mathematical Structures in Computer Science / Volume 20 / Special Issue 01 / February 2010, pp b1 - b3

DOI: http://dx.doi.org/10.1017/S0960129510000058 (About DOI), Published online: 26 February 2010

 

Post a Comment