Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 17 Issue 04

 

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:

567,269 articles from 321 leading journals.

Customize Your Search Toolbar

Mathematical Structures in Computer Science

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 17 - Issue 04  

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

Introduction

 
 

More developments in computational models: introduction

MARIBEL FERNÁNDEZ and IAN MACKIE

Mathematical Structures in Computer Science, Volume 17, Issue 04, August 2007, pp 585-586
doi:10.1017/S0960129507006196 (About doi), Published Online by Cambridge University Press 02 Aug 2007
 

Paper

 
 

Boxed ambients with communication interfaces

PABLO GARRALDA, EDUARDO BONELLI, ADRIANA COMPAGNONI and MARIANGIOLA DEZANI-CIANCAGLINI

Mathematical Structures in Computer Science, Volume 17, Issue 04, August 2007, pp 587-645
doi:10.1017/S0960129507006226 (About doi), Published Online by Cambridge University Press 02 Aug 2007
 

Coalgebraic description of generalised binary methods

FURIO HONSELL, MARINA LENISA and REKHA REDAMALLA

Mathematical Structures in Computer Science, Volume 17, Issue 04, August 2007, pp 647-673
doi:10.1017/S0960129507006214 (About doi), Published Online by Cambridge University Press 02 Aug 2007
 

A calculus of open modules: call-by-need strategy and confluence

SONIA FAGORZI and ELENA ZUCCA

Mathematical Structures in Computer Science, Volume 17, Issue 04, August 2007, pp 675-751
doi:10.1017/S0960129507006238 (About doi), Published Online by Cambridge University Press 02 Aug 2007
 

On the size complexity of universal accepting hybrid networks of evolutionary processors

FLORIN MANEA, CARLOS MARTIN-VIDE and VICTOR MITRANA

Mathematical Structures in Computer Science, Volume 17, Issue 04, August 2007, pp 753-771
doi:10.1017/S0960129507006202 (About doi), Published Online by Cambridge University Press 02 Aug 2007
 

Restriction categories III: colimits, partial limits and extensivity

ROBIN COCKETT and STEPHEN LACK

Mathematical Structures in Computer Science, Volume 17, Issue 04, August 2007, pp 775-817
doi:10.1017/S0960129507006056 (About doi), Published Online by Cambridge University Press 06 Jul 2007
 

A projective formalism applied to topological and probabilistic event structures

SAMY ABBES

Mathematical Structures in Computer Science, Volume 17, Issue 04, August 2007, pp 819-837
doi:10.1017/S096012950700607X (About doi), Published Online by Cambridge University Press 02 Aug 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press