Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 11
Fair subtyping for multi-party session types
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 424-464
-
- Article
- Export citation
- Cited by 11
Model checking usage policies†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 710-763
-
- Article
- Export citation
- Cited by 11
Girard quantaloids†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 93-108
-
- Article
- Export citation
- Cited by 11
Wadge-like reducibilities on arbitrary quasi-Polish spaces
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1705-1754
-
- Article
- Export citation
- Cited by 11
A ground-complete axiomatisation of finite-state processes in a generic process algebra
-
- Published online by Cambridge University Press:
- 01 December 2008, pp. 1057-1089
-
- Article
- Export citation
- Cited by 11
A semantic characterisation of the correctness of a proof net
-
- Published online by Cambridge University Press:
- 01 October 1997, pp. 445-452
-
- Article
- Export citation
- Cited by 11
Dynamic labeled 2-structures
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 433-455
-
- Article
- Export citation
- Cited by 11
Abstract hierarchical graph transformation
-
- Published online by Cambridge University Press:
- 15 July 2005, pp. 773-819
-
- Article
- Export citation
- Cited by 11
A certified lightweight non-interference Java bytecode verifier†
-
- Published online by Cambridge University Press:
- 17 May 2013, pp. 1032-1081
-
- Article
- Export citation
- Cited by 11
Reversible combinatory logic
-
- Published online by Cambridge University Press:
- 24 July 2006, pp. 621-637
-
- Article
- Export citation
- Cited by 11
Obsessional experiments for linear logic proof-nets
-
- Published online by Cambridge University Press:
- 23 December 2003, pp. 799-855
-
- Article
- Export citation
- Cited by 11
Higher-order psi-calculi†
-
- Published online by Cambridge University Press:
- 24 June 2013, e240203
-
- Article
- Export citation
- Cited by 11
On a measurement-free quantum lambda calculus with classical control
-
- Published online by Cambridge University Press:
- 01 April 2009, pp. 297-335
-
- Article
- Export citation
- Cited by 11
Term graph narrowing
-
- Published online by Cambridge University Press:
- 19 April 2018, pp. 649-676
-
- Article
- Export citation
- Cited by 11
On universal algebra over nominal sets
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. 285-318
-
- Article
- Export citation
- Cited by 11
A Gray code for cross-bifix-free sets
-
- Published online by Cambridge University Press:
- 11 May 2015, pp. 184-196
-
- Article
- Export citation
- Cited by 11
A relational model of non-deterministic dataflow
-
- Published online by Cambridge University Press:
- 23 September 2004, pp. 613-649
-
- Article
- Export citation
- Cited by 11
Modelling declassification policies using abstract domain completeness
-
- Published online by Cambridge University Press:
- 27 October 2011, pp. 1253-1299
-
- Article
- Export citation
- Cited by 11
A logical framework combining model and proof theory
-
- Published online by Cambridge University Press:
- 01 March 2013, pp. 945-1001
-
- Article
- Export citation
- Cited by 10
A comparison of concepts from computable analysis and effective descriptive set theory
-
- Published online by Cambridge University Press:
- 23 June 2016, pp. 1414-1436
-
- Article
- Export citation