Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 18 Issue 02

 

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

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 18 - Issue 02  

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

Paper

 
 

Types for ambient and process mobility

MARIO COPPO, MARIANGIOLA DEZANI-CIANCAGLINI and ELIO GIOVANNETTI

Mathematical Structures in Computer Science, Volume 18, Issue 02, April 2008, pp 221-290
doi:10.1017/S0960129508006658 (About doi), Published Online by Cambridge University Press 07 Mar 2008
 

Computability and information in models of randomness and chaos

CRISTOBAL ROJAS

Mathematical Structures in Computer Science, Volume 18, Issue 02, April 2008, pp 291-307
doi:10.1017/S0960129508006646 (About doi), Published Online by Cambridge University Press 07 Mar 2008
 

On asymptotic divergency in equivalential logics

ZOFIA KOSTRZYCKA

Mathematical Structures in Computer Science, Volume 18, Issue 02, April 2008, pp 311-324
doi:10.1017/S0960129507006391 (About doi), Published Online by Cambridge University Press 08 Nov 2007
 

Observational interpretation of Casl specifications

MICHEL BIDOIT, DONALD SANNELLA and ANDRZEJ TARLECKI

Mathematical Structures in Computer Science, Volume 18, Issue 02, April 2008, pp 325-371
doi:10.1017/S0960129507006536 (About doi), Published Online by Cambridge University Press 01 Feb 2008
 

Maurer computers for pipelined instruction processing

J. A. BERGSTRA and C. A. MIDDELBURG

Mathematical Structures in Computer Science, Volume 18, Issue 02, April 2008, pp 373-409
doi:10.1017/S0960129507006548 (About doi), Published Online by Cambridge University Press 21 Dec 2007
 

The Decomposition Tree for analyses of Boolean functions

MAIK FRIEDEL, SWETLANA NIKOLAJEWA and THOMAS WILHELM

Mathematical Structures in Computer Science, Volume 18, Issue 02, April 2008, pp 411-426
doi:10.1017/S096012950800666X (About doi), Published Online by Cambridge University Press 19 Feb 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press