- Home
- Best Scientists - Computer Science
- Robin Milner

Discipline name
D-index
D-index (Discipline H-index) only includes papers and citation values for an examined
discipline in contrast to General H-index which accounts for publications across all
disciplines.
Citations
Publications
World Ranking
National Ranking

Computer Science
D-index
44
Citations
51,135
87
World Ranking
3657
National Ranking
220

- Programming language
- Algebra
- Algorithm

Robin Milner mainly investigates Bisimulation, Programming language, Process calculus, Algebra and Calculus. His Programming language research is multidisciplinary, incorporating elements of Semantic interpretation, Interpretation and Existential quantification. Theoretical computer science covers Robin Milner research in Process calculus.

The Calculus study combines topics in areas such as Discrete mathematics and Pi calculus. In his study, which falls under the umbrella issue of Pi calculus, Bigraph is strongly linked to Ambient calculus. His studies deal with areas such as Semantics and Hennessy–Milner logic as well as Concurrency.

- Communication and Concurrency (7128 citations)
- On Observing Nondeterminism and Concurrency (4499 citations)
- A calculus of communicating systems (3721 citations)

Robin Milner mainly focuses on Programming language, Algebra, Theoretical computer science, Discrete mathematics and Bigraph. He works mostly in the field of Programming language, limiting it down to topics relating to Type and, in certain cases, Signature, as a part of the same area of interest. His studies in Algebra integrate themes in fields like Process calculus, Bisimulation, Algebra over a field and Concurrency.

Process calculus is closely attributed to Calculus in his work. His Calculus research focuses on subjects like Pi calculus, which are linked to Ambient calculus. His Bigraph research incorporates elements of Reactive system, Locality and Algorithm, Petri net.

- Programming language (22.81%)
- Algebra (16.96%)
- Theoretical computer science (16.96%)

- Bigraph (13.45%)
- Theoretical computer science (16.96%)
- Reactive system (10.53%)

His primary scientific interests are in Bigraph, Theoretical computer science, Reactive system, Ubiquitous computing and Petri net. Robin Milner interconnects Programming language, Locality, Algebra over a field and Algebra in the investigation of issues within Bigraph. His study in Algebra is interdisciplinary in nature, drawing from both Process calculus and Presentation.

His Process calculus study integrates concerns from other disciplines, such as Basis, Mobile agent and Pi calculus. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Domain, Structure and Semantics. As a part of the same scientific family, Robin Milner mostly works in the field of Petri net, focusing on Transition system and, on occasion, Equivalence.

- Theories for the Global Ubiquitous Computer (563 citations)
- The Space and Motion of Communicating Agents (238 citations)
- Pure bigraphs: Structure and dynamics (141 citations)

- Programming language
- Algebra
- Algorithm

His primary areas of study are Bigraph, Theoretical computer science, Reactive system, Petri net and Transition system. His Bigraph study incorporates themes from Programming language, Locality, Algebra over a field and Algebra. His Locality research focuses on Context and how it connects with Calculus, Lambda calculus, Confluence and Ubiquitous computing.

He combines subjects such as Process calculus, Graph theory, Simple, Axiom and Category theory with his study of Algebra over a field. His Theoretical computer science research incorporates elements of Gateway, Semantics, Reduction and Computer security. His research on Discrete mathematics frequently connects to adjacent areas such as Structure.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Communication and Concurrency

Robin Milner.

**(1989)**

14155 Citations

A calculus of communicating systems

R. Milner.

**(1980)**

7171 Citations

A calculus of mobile processes, II

Robin Milner;Joachim Parrow;David Walker.

Information & Computation **(1992)**

5289 Citations

The Definition of Standard ML (Revised)

Robin Milner;Robert Harper;David MacQueen;Mads Tofte.

**(1997)**

4643 Citations

On Observing Nondeterminism and Concurrency

Matthew Hennessy;Robin Milner.

international colloquium on automata, languages and programming **(1980)**

4507 Citations

Communicating and Mobile Systems: the Pi-Calculus

Robin Milner.

**(1999)**

3782 Citations

A theory of type polymorphism in programming

Robin Milner.

Journal of Computer and System Sciences **(1978)**

3286 Citations

The Definition of Standard ML

Robin Milner;Mads Tofte;Robert Harper.

**(1990)**

3279 Citations

A Calculus of Mobile Processes - Part II

Robin Milner;Joachim Parrow;David Walker.

Information & Computation **(1992)**

2722 Citations

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy;Robin Milner.

Journal of the ACM **(1985)**

1868 Citations

Carnegie Mellon University

University of York

University of the West of England

University of York

University of Sheffield

University of Oxford

University of Southampton

Aalborg University

Aarhus University

Trinity College Dublin

French Institute for Research in Computer Science and Automation - INRIA

Publications: 80

Profile was last updated on December 6th, 2021.

Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).

The ranking d-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Something went wrong. Please try again later.