Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 19 Issue 03

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • G. Longo, CNRS and Ecole Normale SupĂ©rieure, Paris, France

Sort by

Previous Issue Next Issue

Table of Contents - Volume 19 - Issue 03  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Front Cover (OFC, IFC) and matter

 
 

MSC volume 19 issue 3 Cover and Front matter

Mathematical Structures in Computer Science, Volume 19, Issue 03, June 2009, pp f1-f2
doi:10.1017/S0960129509007713 (About doi), Published Online by Cambridge University Press 21 May 2009
 

Back Cover (IBC, OBC) and matter

 
 

MSC volume 19 issue 3 Cover and Back matter

Mathematical Structures in Computer Science, Volume 19, Issue 03, June 2009, pp b1-b6
doi:10.1017/S0960129509007725 (About doi), Published Online by Cambridge University Press 21 May 2009
 

Paper

 
 

Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding

DOMINIQUE LARCHEY-WENDLING and DIDIER GALMICHE

Mathematical Structures in Computer Science, Volume 19, Issue 03, June 2009, pp 435-500
doi:10.1017/S0960129509007567 (About doi), Published Online by Cambridge University Press 16 Apr 2009
 

Predicate transformers for extended probability and non-determinism

KLAUS KEIMEL and GORDON D. PLOTKIN

Mathematical Structures in Computer Science, Volume 19, Issue 03, June 2009, pp 501-539
doi:10.1017/S0960129509007555 (About doi), Published Online by Cambridge University Press 17 Mar 2009
 

A quantitative computational model for complete partial metric spaces via formal balls

SALVADOR ROMAGUERA and OSCAR VALERO

Mathematical Structures in Computer Science, Volume 19, Issue 03, June 2009, pp 541-563
doi:10.1017/S0960129509007671 (About doi), Published Online by Cambridge University Press 28 Apr 2009
 

On the expressive power of process interruption and compensation

MARIO BRAVETTI and GIANLUIGI ZAVATTARO

Mathematical Structures in Computer Science, Volume 19, Issue 03, June 2009, pp 565-599
doi:10.1017/S0960129509007683 (About doi), Published Online by Cambridge University Press 06 May 2009
 

A theory of contracts for strong service compliance

MARIO BRAVETTI and GIANLUIGI ZAVATTARO

Mathematical Structures in Computer Science, Volume 19, Issue 03, June 2009, pp 601-638
doi:10.1017/S0960129509007658 (About doi), Published Online by Cambridge University Press 08 May 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press