×
Compute Distance To:
Author ID: plotkin.gordon-d Recent zbMATH articles by "Plotkin, Gordon D."
Published as: Plotkin, Gordon; Plotkin, Gordon D.; Plotkin, G. D.; Plotkin, G.
Documents Indexed: 98 Publications since 1969, including 2 Books
8 Contributions as Editor · 1 Further Contribution
Biographic References: 1 Publication
Co-Authors: 74 Co-Authors with 78 Joint Publications
1,451 Co-Co-Authors
all top 5

Co-Authors

27 single-authored
9 Abadi, Martín
9 Power, John
8 Panangaden, Prakash
5 Mardare, Radu
4 Keimel, Klaus
3 Chaput, Philippe
3 Danos, Vincent
3 Hennessy, Matthew C. B.
3 Honsell, Furio
3 Stirling, Colin
3 Tofte, Mads
3 van Glabbeek, Robert Jan
3 Winskel, Glynn
2 Ahman, Danel
2 Apt, Krzysztof Rafal
2 Bacci, Giorgio
2 Dezani-Ciancaglini, Mariangiola
2 Hasegawa, Masahito
2 Honorato-Zimmer, Ricardo
2 Huet, Gerard P.
2 Hyland, J. Martin E.
2 Kahn, Gilles
2 Levy, Jean-Jacques
2 Levy, Paul Blain
2 MacQueen, David B.
2 Millar, Andrew J.
2 Nielsen, Mogens
2 Pierce, Benjamin C.
2 Planul, Jérémy
2 Pretnar, Matija
2 Scott, Dana Stewart
2 Tix, Regina
2 Zardilis, Argyris
1 Barber, Andrew
1 Barendregt, Hendrik Pieter
1 Barwise, Kenneth Jon
1 Bauer, Andrej
1 Bertot, Yves
1 Bjørner, Nikolaj S.
1 Böhm, Corrado
1 Bowler, Nathan
1 Bruni, Roberto
1 Budiu, Mihai
1 Bunder, Martin W.
1 Coppo, Mario
1 de Bruijn, Nicolaas Govert
1 Di Gianantonio, Pietro
1 Diller, Justus
1 Feferman, Solomon
1 Fiore, Marcelo P.
1 Fitch, Frederic Brenton
1 Galenson, Joel
1 Gandy, Robin O.
1 Gardner, Philippa Anne
1 Gawron, Jean Mark
1 Ghani, Neil
1 Gilmore, Paul C.
1 Harper, Robert
1 Hindley, J. Roger
1 Hofmann, Martin
1 Howard, William A.
1 Hriţcu, Cătălin
1 Kammar, Ohad
1 Kearns, John T.
1 Klop, Jan Willem
1 Koymans, Karst
1 Kuzichev, Alexander Sergeevich
1 Lambek, Joachim
1 Lassez, Jean-Louis
1 Longley, John R.
1 Longo, Giuseppe
1 Lopes, Nuno P.
1 Maillard, Kenji
1 Martínez, Guido
1 McSherry, Frank
1 Meredith, David
1 Mitschke, Gerd
1 Montanari, Ugo G.
1 Mosses, Peter D.
1 Oury, Nicolas
1 Pottinger, Garrel
1 Pratt, Vaughan R.
1 Priami, Corrado
1 Protzenko, Jonathan
1 Rastogi, Aseem
1 Reynolds, John Charles
1 Rybalchenko, Andrey
1 Sanchis, Luis Elpidio
1 Sannella, Donald T.
1 Seldin, Jonathan P.
1 Sethi, Ravi
1 Smyth, Michael B.
1 Statman, Richard
1 Swamy, Nikhil
1 Tennent, Robert D.
1 Terreni, Daniele
1 Tutiya, Syun
1 Varghese, George
1 Veneri, B.
1 Visser, Albert
...and 1 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

86 Publications have been cited 2,496 times in 1,840 Documents Cited by Year
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
204
1978
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
201
1975
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
191
1981
A powerdomain construction. Zbl 0355.68015
Plotkin, G. D.
174
1976
A framework for defining logics. Zbl 0778.03004
Harper, Robert; Honsell, Furio; Plotkin, Gordon
168
1993
A structural approach to operational semantics. Zbl 1082.68062
Plotkin, Gordon D.
153
2004
The category-theoretic solution of recursive domain equations. Zbl 0493.68022
Smyth, M. B.; Plotkin, G. D.
139
1982
Building-in equational theories. Zbl 0262.68036
Plotkin, G. D.
87
1972
A probabilistic powerdomain of evaluations. Zbl 0716.06003
Jones, C.; Plotkin, G. D.
86
1989
A note on inductive generalization. Zbl 0219.68045
Plotkin, G. D.
73
1969
Full abstraction for a simple parallel programming language. Zbl 0457.68006
Hennessy, M. C. B.; Plotkin, G. D.
61
1979
Notions of computation determine monads. Zbl 1077.68676
Plotkin, Gordon; Power, John
55
2002
An operational semantics for CSP. Zbl 0512.68012
Plotkin, G. D.
52
1983
The origins of structural operational semantics. Zbl 1072.68063
Plotkin, Gordon D.
49
2004
Combining effects: sum and tensor. Zbl 1096.68088
Hyland, Martin; Plotkin, Gordon; Power, John
46
2006
\(\mathbb{T}^\omega\) as a universal domain. Zbl 0419.03007
Plotkin, G.
43
1978
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
42
1986
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
35
1986
Algebraic operations and generic effects. Zbl 1023.18006
Plotkin, Gordon; Power, John
34
2003
Configuration structures, event structures and Petri nets. Zbl 1187.68329
Van Glabbeek, R. J.; Plotkin, G. D.
31
2009
Adequacy for algebraic effects. Zbl 0986.68055
Plotkin, Gordon; Power, John
31
2001
Concrete domains. Zbl 0809.68085
Kahn, G.; Plotkin, G. D.
26
1993
A logic for parametric polymorphism. Zbl 0788.68091
Plotkin, Gordon; Abadi, Martín
25
1993
A further note on inductive generalization. Zbl 0261.68042
Plotkin, G. D.
25
1971
Computational effects and operations: an overview. Zbl 1273.68213
Plotkin, Gordon; Power, John
25
2004
Set-theoretical and other elementary models of the \(\lambda\)-calculus. Zbl 0790.03014
Plotkin, Gordon D.
24
1993
Dijkstra’s predicate transformers and Smyth’s power domains. Zbl 0467.68011
Plotkin, G. D.
23
1980
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
20
2005
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
19
2013
A term model for CCS. Zbl 0479.68011
Hennessy, M. C. B.; Plotkin, G. D.
18
1980
Handlers of algebraic effects. Zbl 1234.68059
Plotkin, Gordon; Pretnar, Matija
18
2009
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
18
2009
Semantics for algebraic operations. Zbl 1260.68220
Plotkin, Gordon; Power, John
18
2001
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002
Apt, Krysztof R.; Plotkin, G. D.
13
1981
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
13
2016
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
13
2017
A powerdomain for countable non-determinism (extended abstract). Zbl 0511.68032
Plotkin, G. D.
12
1982
A logical view of composition. Zbl 0778.68061
Abadi, Martín; Plotkin, Gordon D.
12
1993
Combining algebraic effects with continuations. Zbl 1111.68067
Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John
12
2007
The \(\lambda\)-calculus is \(\omega\)-incomplete. Zbl 0299.02029
Plotkin, G. D.
12
1974
Petri nets, event structures and domains. Zbl 0418.68056
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
10
1979
A language for biochemical systems: design and formal specification. Zbl 1275.92020
Pedersen, Michael; Plotkin, Gordon D.
10
2010
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
9
2009
Lax logical relations. Zbl 0973.03016
Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert
8
2000
Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon
8
2008
A semantics for static type inference. Zbl 0803.68067
Plotkin, Gordon
7
1994
Event structures for resolvable conflict. Zbl 1096.68114
van Glabbeek, Rob; Plotkin, Gordon
7
2004
Predicate transformers for extended probability and non-determinism. Zbl 1175.68253
Keimel, Klaus; Plotkin, Gordon D.
7
2009
Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200
Kammar, Ohad; Plotkin, Gordon D.
6
2012
On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004
Reynolds, John C.; Plotkin, Gordon D.
6
1993
Uncountable limits and the lambda calculus. Zbl 0839.68059
Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon
6
1995
Full abstraction, totality and PCF. Zbl 0923.68087
Plotkin, Gordon
6
1999
A domain-theoretic Banach-Alaoglu theorem. Zbl 1107.06006
Plotkin, Gordon
6
2006
Tensors of comodels and models for operational semantics. Zbl 1286.68303
Plotkin, Gordon; Power, John
6
2008
From action calculi to linear logic. Zbl 0908.03031
Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon
5
1998
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
5
2014
Finite conjunctive nondeterminism. Zbl 0649.03013
Hennessy, M.; Plotkin, G.
5
1987
Bistructures, bidomains and linear logic. Zbl 1422.03130
Plotkin, Gordon; Winskel, Glynn
4
1994
An extension of models of axiomatic domain theory to models of synthetic domain theory. Zbl 0884.18009
Fiore, Marcelo P.; Plotkin, Gordon D.
4
1997
Some varieties of equational logic (extended abstract). Zbl 1132.08300
Plotkin, Gordon
4
2006
Dependent types and fibred computational effects. Zbl 1475.68057
Ahman, Danel; Ghani, Neil; Plotkin, Gordon D.
4
2016
Multi-level modelling via stochastic multi-level multiset rewriting. Zbl 1318.92015
Oury, Nicolas; Plotkin, Gordon
4
2013
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
4
2014
Dijkstra monads for free. Zbl 1380.68266
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil
3
2017
Logical full abstraction and PCF. Zbl 0961.68081
Longley, John; Plotkin, Gordon
3
1998
Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002
3
1991
On a question of H. Friedman. Zbl 0853.68127
Plotkin, Gordon
3
1996
A model of cooperative threads. Zbl 1315.68079
Abadi, Martin; Plotkin, Gordon
3
2009
On powerdomains for probabilistic non determinism (copies of slides). Zbl 0565.68050
Plotkin, G. D.
2
1982
Faithful ideal models for recursive polymorphic types. Zbl 0741.68026
Abadi, Martín; Pierce, Benjamin; Plotkin, Gordon
2
1991
Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063
2
1991
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
Bialgebraic semantics and recursion (extended abstract). Zbl 1260.68219
Plotkin, Gordon
2
2001
The compiler forest. Zbl 1381.68042
Budiu, Mihai; Galenson, Joel; Plotkin, Gordon D.
2
2013
On the axiomatizability of quantitative algebras. Zbl 1452.08005
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
2
2017
Scaling network verification using symmetry and surgery. Zbl 1347.68237
Plotkin, Gordon D.; Bjørner, Nikolaj; Lopes, Nuno P.; Rybalchenko, Andrey; Varghese, George
1
2016
An operational semantics for CSP (extended abstract). Zbl 0506.68025
Plotkin, Gordon
1
1983
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
1
1991
A model of cooperative threads. Zbl 1202.68105
Abadi, Martín; Plotkin, Gordon D.
1
2010
On the completeness of order-theoretic models of the \(\lambda \)-calculus. Zbl 1167.03013
Honsell, Furio; Plotkin, Gordon
1
2009
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
Partial recursive functions and finality. Zbl 1264.03091
Plotkin, Gordon
1
2013
Adequacy for algebraic effects with state. Zbl 1151.68466
Plotkin, Gordon
1
2005
On proving limiting completeness. Zbl 0632.68012
Mosses, Peter D.; Plotkin, Gordon D.
1
1987
Layout randomization and nondeterminism. Zbl 1334.68045
Abadi, Martín; Planul, Jérémy; Plotkin, Gordon
1
2013
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D.
13
2017
Dijkstra monads for free. Zbl 1380.68266
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil
3
2017
On the axiomatizability of quantitative algebras. Zbl 1452.08005
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
2
2017
Quantitative algebraic reasoning. Zbl 1391.68021
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
13
2016
Dependent types and fibred computational effects. Zbl 1475.68057
Ahman, Danel; Ghani, Neil; Plotkin, Gordon D.
4
2016
Scaling network verification using symmetry and surgery. Zbl 1347.68237
Plotkin, Gordon D.; Bjørner, Nikolaj; Lopes, Nuno P.; Rybalchenko, Andrey; Varghese, George
1
2016
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
5
2014
Approximating Markov processes by averaging. Zbl 1295.68167
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
4
2014
Handling algebraic effects. Zbl 1314.68191
Plotkin, Gordon D.; Pretnar, Matija
19
2013
Multi-level modelling via stochastic multi-level multiset rewriting. Zbl 1318.92015
Oury, Nicolas; Plotkin, Gordon
4
2013
The compiler forest. Zbl 1381.68042
Budiu, Mihai; Galenson, Joel; Plotkin, Gordon D.
2
2013
Partial recursive functions and finality. Zbl 1264.03091
Plotkin, Gordon
1
2013
Layout randomization and nondeterminism. Zbl 1334.68045
Abadi, Martín; Planul, Jérémy; Plotkin, Gordon
1
2013
Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200
Kammar, Ohad; Plotkin, Gordon D.
6
2012
A language for biochemical systems: design and formal specification. Zbl 1275.92020
Pedersen, Michael; Plotkin, Gordon D.
10
2010
A model of cooperative threads. Zbl 1202.68105
Abadi, Martín; Plotkin, Gordon D.
1
2010
Configuration structures, event structures and Petri nets. Zbl 1187.68329
Van Glabbeek, R. J.; Plotkin, G. D.
31
2009
Handlers of algebraic effects. Zbl 1234.68059
Plotkin, Gordon; Pretnar, Matija
18
2009
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
18
2009
Approximating Markov processes by averaging. Zbl 1248.68322
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
9
2009
Predicate transformers for extended probability and non-determinism. Zbl 1175.68253
Keimel, Klaus; Plotkin, Gordon D.
7
2009
A model of cooperative threads. Zbl 1315.68079
Abadi, Martin; Plotkin, Gordon
3
2009
Approximating labelled Markov processes again! Zbl 1239.68050
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon
2
2009
On the completeness of order-theoretic models of the \(\lambda \)-calculus. Zbl 1167.03013
Honsell, Furio; Plotkin, Gordon
1
2009
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon
8
2008
Tensors of comodels and models for operational semantics. Zbl 1286.68303
Plotkin, Gordon; Power, John
6
2008
Combining algebraic effects with continuations. Zbl 1111.68067
Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John
12
2007
Combining effects: sum and tensor. Zbl 1096.68088
Hyland, Martin; Plotkin, Gordon; Power, John
46
2006
A domain-theoretic Banach-Alaoglu theorem. Zbl 1107.06006
Plotkin, Gordon
6
2006
Some varieties of equational logic (extended abstract). Zbl 1132.08300
Plotkin, Gordon
4
2006
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D.
20
2005
Adequacy for algebraic effects with state. Zbl 1151.68466
Plotkin, Gordon
1
2005
A structural approach to operational semantics. Zbl 1082.68062
Plotkin, Gordon D.
153
2004
The origins of structural operational semantics. Zbl 1072.68063
Plotkin, Gordon D.
49
2004
Computational effects and operations: an overview. Zbl 1273.68213
Plotkin, Gordon; Power, John
25
2004
Event structures for resolvable conflict. Zbl 1096.68114
van Glabbeek, Rob; Plotkin, Gordon
7
2004
Algebraic operations and generic effects. Zbl 1023.18006
Plotkin, Gordon; Power, John
34
2003
Notions of computation determine monads. Zbl 1077.68676
Plotkin, Gordon; Power, John
55
2002
Adequacy for algebraic effects. Zbl 0986.68055
Plotkin, Gordon; Power, John
31
2001
Semantics for algebraic operations. Zbl 1260.68220
Plotkin, Gordon; Power, John
18
2001
Bialgebraic semantics and recursion (extended abstract). Zbl 1260.68219
Plotkin, Gordon
2
2001
Lax logical relations. Zbl 0973.03016
Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert
8
2000
Full abstraction, totality and PCF. Zbl 0923.68087
Plotkin, Gordon
6
1999
From action calculi to linear logic. Zbl 0908.03031
Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon
5
1998
Logical full abstraction and PCF. Zbl 0961.68081
Longley, John; Plotkin, Gordon
3
1998
An extension of models of axiomatic domain theory to models of synthetic domain theory. Zbl 0884.18009
Fiore, Marcelo P.; Plotkin, Gordon D.
4
1997
On a question of H. Friedman. Zbl 0853.68127
Plotkin, Gordon
3
1996
Uncountable limits and the lambda calculus. Zbl 0839.68059
Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon
6
1995
A semantics for static type inference. Zbl 0803.68067
Plotkin, Gordon
7
1994
Bistructures, bidomains and linear logic. Zbl 1422.03130
Plotkin, Gordon; Winskel, Glynn
4
1994
A framework for defining logics. Zbl 0778.03004
Harper, Robert; Honsell, Furio; Plotkin, Gordon
168
1993
Concrete domains. Zbl 0809.68085
Kahn, G.; Plotkin, G. D.
26
1993
A logic for parametric polymorphism. Zbl 0788.68091
Plotkin, Gordon; Abadi, Martín
25
1993
Set-theoretical and other elementary models of the \(\lambda\)-calculus. Zbl 0790.03014
Plotkin, Gordon D.
24
1993
A logical view of composition. Zbl 0778.68061
Abadi, Martín; Plotkin, Gordon D.
12
1993
On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004
Reynolds, John C.; Plotkin, Gordon D.
6
1993
Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002
3
1991
Faithful ideal models for recursive polymorphic types. Zbl 0741.68026
Abadi, Martín; Pierce, Benjamin; Plotkin, Gordon
2
1991
Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063
2
1991
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
1
1991
A probabilistic powerdomain of evaluations. Zbl 0716.06003
Jones, C.; Plotkin, G. D.
86
1989
Finite conjunctive nondeterminism. Zbl 0649.03013
Hennessy, M.; Plotkin, G.
5
1987
On proving limiting completeness. Zbl 0632.68012
Mosses, Peter D.; Plotkin, Gordon D.
1
1987
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
42
1986
An ideal model for recursive polymorphic types. Zbl 0636.68016
MacQueen, David; Plotkin, Gordon; Sethi, Ravi
35
1986
An operational semantics for CSP. Zbl 0512.68012
Plotkin, G. D.
52
1983
An operational semantics for CSP (extended abstract). Zbl 0506.68025
Plotkin, Gordon
1
1983
The category-theoretic solution of recursive domain equations. Zbl 0493.68022
Smyth, M. B.; Plotkin, G. D.
139
1982
A powerdomain for countable non-determinism (extended abstract). Zbl 0511.68032
Plotkin, G. D.
12
1982
On powerdomains for probabilistic non determinism (copies of slides). Zbl 0565.68050
Plotkin, G. D.
2
1982
Petri nets, event structures and domains. I. Zbl 0452.68067
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
191
1981
A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002
Apt, Krysztof R.; Plotkin, G. D.
13
1981
Dijkstra’s predicate transformers and Smyth’s power domains. Zbl 0467.68011
Plotkin, G. D.
23
1980
A term model for CCS. Zbl 0479.68011
Hennessy, M. C. B.; Plotkin, G. D.
18
1980
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Full abstraction for a simple parallel programming language. Zbl 0457.68006
Hennessy, M. C. B.; Plotkin, G. D.
61
1979
Petri nets, event structures and domains. Zbl 0418.68056
Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn
10
1979
LCF considered as a programming language. Zbl 0369.68006
Plotkin, G. D.
204
1978
\(\mathbb{T}^\omega\) as a universal domain. Zbl 0419.03007
Plotkin, G.
43
1978
A powerdomain construction. Zbl 0355.68015
Plotkin, G. D.
174
1976
Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006
Plotkin, G. D.
201
1975
The \(\lambda\)-calculus is \(\omega\)-incomplete. Zbl 0299.02029
Plotkin, G. D.
12
1974
Building-in equational theories. Zbl 0262.68036
Plotkin, G. D.
87
1972
A further note on inductive generalization. Zbl 0261.68042
Plotkin, G. D.
25
1971
A note on inductive generalization. Zbl 0219.68045
Plotkin, G. D.
73
1969
all top 5

Cited by 1,825 Authors

24 Montanari, Ugo G.
23 Plotkin, Gordon D.
21 Power, John
21 Winskel, Glynn
20 Rabe, Florian
18 Aceto, Luca
18 Ingólfsdóttir, Anna
17 Meseguer Guaita, José
17 van Glabbeek, Robert Jan
15 Adámek, Jiří
15 Danvy, Olivier
15 Pientka, Brigitte
14 Abramsky, Samson
14 Baldan, Paolo
14 Dezani-Ciancaglini, Mariangiola
14 Goubault-Larrecq, Jean
14 Honsell, Furio
14 Jacobs, Bart
12 Reniers, Michel Adriaan
11 Bruni, Roberto
10 Alessi, Fabio
10 Hennessy, Matthew C. B.
10 Jung, Achim
10 Keimel, Klaus
10 Kou, Hui
10 Miller, Dale Allen
10 Phillips, Iain W.
10 Pinna, G. Michele
10 Rutten, Jan J. M. M.
10 Schmidt-Schauß, Manfred
10 Schröder, Lutz
10 Yoshida, Nobuko
9 Birkedal, Lars
9 de Bakker, Jacobus W.
9 De Nicola, Rocco
9 Ehrhard, Thomas
9 Hötzel Escardó, Martín
9 Kohlhase, Michael
9 Manzonetto, Giulio
9 Meyer, John-Jules Charles
9 Miculan, Marino
9 Mislove, Michael W.
9 Paolini, Luca
9 Roşu, Grigore
9 Staton, Sam
9 Thiagarajan, Pazhamaneri Subramaniam
9 Ulidowski, Irek
8 Corradini, Andrea
8 Edalat, Abbas
8 Felty, Amy P.
8 Goncharov, Sergeĭ Savost’yanovich
8 Larsen, Kim Guldstrand
8 Majster-Cederbaum, Mila E.
8 Olderog, Ernst-Rüdiger
8 Panangaden, Prakash
8 Pym, David J.
8 Uustalu, Tarmo
7 Abadi, Martín
7 Alpuente, María
7 Baier, Christel
7 Coppo, Mario
7 Dal Lago, Ugo
7 Droste, Manfred
7 Gregorio-Rodríguez, Carlos
7 Harper, Robert
7 Horozal, Fulya
7 Johansen, Christian
7 Kok, Joost N.
7 Lenisa, Marina
7 Luttik, Bas
7 Mason, Ian A.
7 Melgratti, Hernán
7 Pfenning, Frank
7 Pitts, Andrew M.
7 Sabel, David
7 Smyth, Michael B.
7 Vogler, Walter
6 Abbes, Samy
6 Apt, Krzysztof Rafal
6 Battenfeld, Ingo
6 Benveniste, Albert
6 Bonchi, Filippo
6 Broy, Manfred
6 Colvin, Robert J.
6 Curien, Pierre-Louis
6 de Frutos-Escrig, David
6 Ésik, Zoltán
6 Fokkink, Willem Jan
6 Francez, Nissim
6 Gadducci, Fabio
6 Ghani, Neil
6 Groote, Jan Friso
6 Jagadeesan, Radha
6 Klin, Bartek
6 Levy, Paul Blain
6 McIver, Annabelle K.
6 Momigliano, Alberto
6 Muggleton, Stephen H.
6 Nadathur, Gopalan
6 Nielsen, Mogens
...and 1,725 more Authors
all top 5

Cited in 101 Serials

473 Theoretical Computer Science
146 Information and Computation
77 MSCS. Mathematical Structures in Computer Science
45 Journal of Functional Programming
44 Logical Methods in Computer Science
43 Journal of Automated Reasoning
43 Journal of Logical and Algebraic Methods in Programming
40 Annals of Pure and Applied Logic
34 Information Processing Letters
33 Journal of Symbolic Computation
32 Formal Aspects of Computing
31 Journal of Computer and System Sciences
30 Acta Informatica
23 The Journal of Logic and Algebraic Programming
22 Topology and its Applications
20 Artificial Intelligence
17 Journal of Pure and Applied Algebra
16 Machine Learning
13 Higher-Order and Symbolic Computation
12 Annals of Mathematics and Artificial Intelligence
9 The Journal of Symbolic Logic
9 Formal Methods in System Design
8 The Bulletin of Symbolic Logic
8 Theory and Practice of Logic Programming
7 Journal of Computer Science and Technology
7 RAIRO. Informatique Théorique et Applications
7 RAIRO. Theoretical Informatics and Applications
6 Science of Computer Programming
6 Distributed Computing
5 Mathematical Systems Theory
5 International Journal of Foundations of Computer Science
5 Discrete Event Dynamic Systems
5 Applied Categorical Structures
5 Logica Universalis
4 Programming and Computer Software
4 RAIRO, Informatique Théorique
4 Studia Logica
4 Synthese
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Applied Logic
3 Algebra Universalis
3 BIT
3 Information Sciences
3 Order
3 International Journal of Parallel Programming
3 International Journal of Approximate Reasoning
3 Journal of Logic, Language and Information
3 Theory and Applications of Categories
2 Advances in Mathematics
2 Notre Dame Journal of Formal Logic
2 Semigroup Forum
2 New Generation Computing
2 Theory of Computing Systems
2 Journal of the ACM
2 Journal of Applied Mathematics
2 Sādhanā
2 RAIRO. Theoretical Informatics and Applications
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 Bulletin of Mathematical Biology
1 The Mathematical Intelligencer
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Fuzzy Sets and Systems
1 Journal of Combinatorial Theory. Series B
1 Journal of Soviet Mathematics
1 Software. Practice & Experience
1 Mathematical Social Sciences
1 History and Philosophy of Logic
1 Japan Journal of Applied Mathematics
1 Discrete & Computational Geometry
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Neural Networks
1 International Journal of Computer Mathematics
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
1 Topology Proceedings
1 Diagrammes
1 Mathematical Logic Quarterly (MLQ)
1 ACM Transactions on Modeling and Computer Simulation
1 Abstract and Applied Analysis
1 Soft Computing
1 Journal of Combinatorial Optimization
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Data Mining and Knowledge Discovery
1 Acta Mathematica Sinica. English Series
1 International Journal of Applied Mathematics and Computer Science
1 Fundamenta Informaticae
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Hacettepe Journal of Mathematics and Statistics
1 Mathematics in Computer Science
1 Journal of Formalized Reasoning
1 Games
1 Computability
1 Sahand Communications in Mathematical Analysis
1 Research in the Mathematical Sciences
1 Minimax Theory and its Applications
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
...and 1 more Serials

Citations by Year