Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Top 10 Most-Cited Articles

 

Log In

Browse Journals

Special Sales

CJO Now Includes:

567,269 articles from 321 leading journals.

Customize Your Search Toolbar

Top 10 Most-Cited Articles


These are the top 10 most-cited articles for this title for the previous two years. Most-cited rankings are updated on a monthly basis and provided by CrossRef.

  • Subscription Access
  • Free Access
  • Trial Access
  • Full Text HTML as well as PDF Articles Available
  • Note: Abstract, PDF and HTML open in a new window
  Article Description Save / Export / View citation Add to Basket
  Select all
 

Towards a quantum programming language

PETER SELINGER

Mathematical Structures in Computer Science, Volume 14, Issue 04, Aug 2004, pp 527-586
doi: 10.1017/S0960129504004256 (About doi), Published online by Cambridge University Press 05 Aug 2004
 

A judgmental reconstruction of modal logic

FRANK PFENNING and ROWAN DAVIES

Mathematical Structures in Computer Science, Volume 11, Issue 04, Aug 2001, pp 511-540
doi: 10.1017/S0960129501003322 (About doi), Published online by Cambridge University Press 25 Jul 2001
 

Reo: a channel-based coordination model for component composition

FARHAD ARBAB

Mathematical Structures in Computer Science, Volume 14, Issue 03, Jun 2004, pp 329-366
doi: 10.1017/S0960129504004153 (About doi), Published online by Cambridge University Press 20 May 2004
 

Equational properties of mobile ambients

ANDREW D. GORDON and LUCA CARDELLI

Mathematical Structures in Computer Science, Volume 13, Issue 03, Jun 2003, pp 371-408
doi: 10.1017/S0960129502003742 (About doi), Published online by Cambridge University Press 20 May 2003
 

An environment machine for the [lambda][mu]-calculus

PHILIPPE de GROOTE

Mathematical Structures in Computer Science, Volume 8, Issue 06, Dec 1998, pp 637-669
doi: 10.1017/S0960129598002667 (About doi),
 

Abstract and behaviour module specifications

FELIX CORNELIUS, MICHAEL BALDAMUS, HARTMUT EHRIG and FERNANDO OREJAS

Mathematical Structures in Computer Science, Volume 9, Issue 01, Feb 1999, pp 21-62
doi: 10.1017/S0960129598002606 (About doi),
 

Recursion over objects of functional type

JOËLLE DESPEYROUX and PIERRE LELEU

Mathematical Structures in Computer Science, Volume 11, Issue 04, Aug 2001, pp 555-572
doi: 10.1017/S0960129501003346 (About doi), Published online by Cambridge University Press 25 Jul 2001
 

Implementing collection classes with monads

ERNIE G. MANES

Mathematical Structures in Computer Science, Volume 8, Issue 03, Jun 1998, pp 231-276
doi: 10.1017/S0960129598002515 (About doi),
 

Coalgebras of bounded type

H. PETER GUMM and TOBIAS SCHRÖDER

Mathematical Structures in Computer Science, Volume 12, Issue 05, Oct 2002, pp 565-578
doi: 10.1017/S0960129501003590 (About doi), Published online by Cambridge University Press 21 Oct 2002
 

Premonoidal categories and notions of computation

JOHN POWER and EDMUND ROBINSON

Mathematical Structures in Computer Science, Volume 7, Issue 05, Oct 1997, pp 453-468
doi: 10.1017/S0960129597002375 (About doi),
  Select all
  Article Description Save / Export / View citation Add to Basket

Back to Journal Homepage
Cambridge University Press