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 7
Structural subtyping for inductive types with functorial equality rules†
-
- Published online by Cambridge University Press:
- 01 October 2008, pp. 931-972
-
- Article
- Export citation
- Cited by 7
Diagrammatic logic applied to a parameterisation process
-
- Published online by Cambridge University Press:
- 24 June 2010, pp. 639-654
-
- Article
- Export citation
- Cited by 7
Constraining rule-based dynamics with types
-
- Published online by Cambridge University Press:
- 28 February 2013, pp. 272-289
-
- Article
- Export citation
- Cited by 7
A filter model for mobile processes
-
- Published online by Cambridge University Press:
- 01 February 1999, pp. 63-101
-
- Article
- Export citation
- Cited by 7
! and ? – Storage as tensorial strength
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 313-351
-
- Article
- Export citation
- Cited by 6
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables
-
- Published online by Cambridge University Press:
- 27 May 2011, pp. 997-1033
-
- Article
- Export citation
- Cited by 6
Fixed points of contractive maps on dcpo's
-
- Published online by Cambridge University Press:
- 13 May 2013, e240102
-
- Article
- Export citation
- Cited by 6
Relating timed and register automata†
-
- Published online by Cambridge University Press:
- 05 December 2014, pp. 993-1021
-
- Article
- Export citation
- Cited by 6
Colimits in the category DCPO
-
- Published online by Cambridge University Press:
- 19 April 2018, pp. 455-468
-
- Article
- Export citation
- Cited by 6
From Kruskal’s theorem to Friedman’s gap condition
-
- Published online by Cambridge University Press:
- 29 January 2021, pp. 952-975
-
- Article
- Export citation
- Cited by 6
The λ-calculus in the π-calculus†
-
- Published online by Cambridge University Press:
- 19 May 2011, pp. 943-996
-
- Article
- Export citation
- Cited by 6
Making abstract models complete†
-
- Published online by Cambridge University Press:
- 12 November 2014, pp. 658-701
-
- Article
- Export citation
- Cited by 6
On the von Neumann entropy of certain quantum walks subject to decoherence†
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1099-1115
-
- Article
- Export citation
- Cited by 6
Proof-relevant π-calculus: a constructive account of concurrency and causality
-
- Published online by Cambridge University Press:
- 04 May 2017, pp. 1541-1577
-
- Article
- Export citation
- Cited by 6
Positive predicate structures for continuous data†
-
- Published online by Cambridge University Press:
- 13 November 2014, pp. 1669-1684
-
- Article
- Export citation
- Cited by 6
Traces for coalgebraic components
-
- Published online by Cambridge University Press:
- 25 March 2011, pp. 267-320
-
- Article
- Export citation
- Cited by 6
W-types in homotopy type theory
-
- Published online by Cambridge University Press:
- 24 November 2014, pp. 1100-1115
-
- Article
-
- You have access
- Export citation
- Cited by 6
An event structure based semantics for high-level message sequence charts
-
- Published online by Cambridge University Press:
- 16 September 2002, pp. 377-402
-
- Article
- Export citation
- Cited by 6
Concurrency and loose semantics of open graph transformation systems
-
- Published online by Cambridge University Press:
- 16 September 2002, pp. 349-376
-
- Article
- Export citation
- Cited by 6
An enrichment theorem for an axiomatisation of categories of domains and continuous functions
-
- Published online by Cambridge University Press:
- 01 October 1997, pp. 591-618
-
- Article
- Export citation