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 10
A channel-based perspective on conjugate priors
-
- Published online by Cambridge University Press:
- 25 February 2020, pp. 44-61
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 10
A monadic, functional implementation of real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 129-159
-
- Article
- Export citation
- Cited by 10
A categorical approach to the semantics of argumentation
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 167-188
-
- Article
- Export citation
- Cited by 10
Retrenchment and refinement interworking: the tower theorems
-
- Published online by Cambridge University Press:
- 02 December 2014, pp. 135-202
-
- Article
- Export citation
- Cited by 10
Embedding untimed into timed process algebra: the case for explicit termination
-
- Published online by Cambridge University Press:
- 31 July 2003, pp. 589-618
-
- Article
- Export citation
- Cited by 10
Three improvements to the top-down solver
-
- Published online by Cambridge University Press:
- 03 February 2022, pp. 1090-1134
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 10
Hidden-Markov program algebra with iteration
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 320-360
-
- Article
- Export citation
- Cited by 10
[top ][top ]-closed relations and admissibility
-
- Published online by Cambridge University Press:
- 01 June 2000, pp. 313-320
-
- Article
- Export citation
- Cited by 10
Recognizable languages in divisibility monoids
-
- Published online by Cambridge University Press:
- 09 January 2002, pp. 743-770
-
- Article
- Export citation
- Cited by 10
A system of interaction and structure V: the exponentials and splitting
-
- Published online by Cambridge University Press:
- 30 March 2011, pp. 563-584
-
- Article
- Export citation
- Cited by 10
On projecting processes into session types
-
- Published online by Cambridge University Press:
- 28 February 2012, pp. 237-289
-
- Article
- Export citation
- Cited by 10
Exact flow analysis
-
- Published online by Cambridge University Press:
- 06 March 2003, pp. 125-156
-
- Article
- Export citation
- Cited by 10
Coalgebraic logic over general measurable spaces – a survey
-
- Published online by Cambridge University Press:
- 25 March 2011, pp. 175-234
-
- Article
- Export citation
- Cited by 10
Quantification of integrity†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 207-258
-
- Article
- Export citation
- Cited by 10
Unique factorisation lifting functors and categories of linearly-controlled processes
-
- Published online by Cambridge University Press:
- 01 April 2000, pp. 137-163
-
- Article
- Export citation
- Cited by 10
Proof systems for lattice theory
-
- Published online by Cambridge University Press:
- 05 August 2004, pp. 507-526
-
- Article
- Export citation
- Cited by 10
Proof-theoretic foundations for the design of actor systems
-
- Published online by Cambridge University Press:
- 01 June 1999, pp. 227-252
-
- Article
- Export citation
- Cited by 10
Uniform regular enumerations
-
- Published online by Cambridge University Press:
- 11 October 2006, pp. 901-924
-
- Article
- Export citation
- Cited by 10
Calibrating word problems of groups via the complexity of equivalence relations
-
- Published online by Cambridge University Press:
- 19 October 2016, pp. 457-471
-
- Article
- Export citation
- Cited by 10
Elgot theories: a new perspective on the equational properties of iteration
-
- Published online by Cambridge University Press:
- 25 March 2011, pp. 417-480
-
- Article
- Export citation