Edit Profile Plotkin, Gordon D. Compute Distance To: Compute Author ID: plotkin.gordon-d Published as: Plotkin, G.; Plotkin, G. D.; Plotkin, Gordon; Plotkin, Gordon D. Documents Indexed: 100 Publications since 1969, including 10 Books Biographic References: 1 Publication all top 5 Co-Authors 26 single-authored 9 Abadi, Martín 9 Power, John 5 Panangaden, Prakash 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 Hasegawa, Masahito 2 Huet, Gerard P. 2 Hyland, J. Martin E. 2 Kahn, Gilles 2 MacQueen, David B. 2 Mardare, Radu 2 Nielsen, Mogens 2 Pierce, Benjamin C. 2 Planul, Jérémy 2 Pretnar, Matija 2 Tix, Regina 1 Barber, Andrew 1 Barwise, Kenneth Jon 1 Bauer, Andrej 1 Bertot, Yves 1 Bjørner, Nikolaj S. 1 Bruni, Roberto 1 Budiu, Mihai 1 Dezani-Ciancaglini, Mariangiola 1 Di Gianantonio, Pietro 1 Fiore, Marcelo P. 1 Galenson, Joel 1 Gardner, Philippa Anne 1 Gawron, Jean Mark 1 Ghani, Neil 1 Harper, Robert 1 Hofmann, Martin 1 Honorato-Zimmer, Ricardo 1 Hriţcu, Cătălin 1 Jones, Claire G. 1 Kammar, Ohad 1 Lassez, Jean-Louis 1 Levy, Jean-Jacques 1 Levy, Paul Blain 1 Longley, John R. 1 Lopes, Nuno P. 1 Maillard, Kenji 1 Martínez, Guido 1 McSherry, Frank 1 Millar, Andrew J. 1 Montanari, Ugo G. 1 Mosses, Peter D. 1 Oury, Nicolas 1 Pedersen, Michael D. 1 Pratt, Vaughan R. 1 Priami, Corrado 1 Protzenko, Jonathan 1 Rastogi, Aseem 1 Reynolds, John Charles 1 Rybalchenko, Andrey 1 Sannella, Donald T. 1 Scott, Dana Stewart 1 Sethi, Ravi 1 Smyth, Michael B. 1 Swamy, Nikhil 1 Tennent, Robert D. 1 Terreni, Daniele 1 Tutiya, Syun 1 Varghese, George 1 Zardilis, Argyris all top 5 Serials 11 Theoretical Computer Science 4 Information and Computation 4 MSCS. Mathematical Structures in Computer Science 4 Logical Methods in Computer Science 3 SIAM Journal on Computing 3 Lecture Notes in Computer Science 3 Machine Intelligence 2 Journal of the Association for Computing Machinery 2 Formal Aspects of Computing 2 The Journal of Logic and Algebraic Programming 2 Electronic Notes in Theoretical Computer Science 1 Information and Control 1 Journal of Computer and System Sciences 1 The Journal of Symbolic Logic 1 International Journal of Foundations of Computer Science 1 Applied Categorical Structures 1 Nordic Journal of Computing 1 Journal of the ACM 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 1 CSLI Lecture Notes all top 5 Fields 89 Computer science (68-XX) 30 Mathematical logic and foundations (03-XX) 16 Category theory; homological algebra (18-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 7 General and overarching topics; collections (00-XX) 5 Biology and other natural sciences (92-XX) 3 Probability theory and stochastic processes (60-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 2 Functional analysis (46-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 85 Publications have been cited 2,365 times in 1,752 Documents Cited by ▼ Year ▼ LCF considered as a programming language. Zbl 0369.68006Plotkin, G. D. 201 1978 Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006Plotkin, G. D. 190 1975 A framework for defining logics. Zbl 0778.03004Harper, Robert; Honsell, Furio; Plotkin, Gordon 183 1993 A powerdomain construction. Zbl 0355.68015Plotkin, G. D. 175 1976 Petri nets, event structures and domains. I. Zbl 0452.68067Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 170 1981 A structural approach to operational semantics. Zbl 1082.68062Plotkin, Gordon D. 143 2004 The category-theoretic solution of recursive domain equations. Zbl 0493.68022Smyth, M. B.; Plotkin, G. D. 133 1982 Building-in equational theories. Zbl 0262.68036Plotkin, G. D. 88 1972 A probabilistic powerdomain of evaluations. Zbl 0716.06003Jones, C.; Plotkin, G. D. 79 1989 A note on inductive generalization. Zbl 0219.68045Plotkin, G. D. 66 1969 Full abstraction for a simple parallel programming language. Zbl 0457.68006Hennessy, M. C. B.; Plotkin, G. D. 63 1979 An operational semantics for CSP. Zbl 0512.68012Plotkin, G. D. 53 1983 The origins of structural operational semantics. Zbl 1072.68063Plotkin, Gordon D. 48 2004 \(\mathbb{T}^\omega\) as a universal domain. Zbl 0419.03007Plotkin, G. 44 1978 Notions of computation determine monads. Zbl 1077.68676Plotkin, Gordon; Power, John 43 2002 Countable nondeterminism and random assignment. Zbl 0627.68015Apt, K. R.; Plotkin, G. D. 42 1986 Combining effects: sum and tensor. Zbl 1096.68088Hyland, Martin; Plotkin, Gordon; Power, John 38 2006 An ideal model for recursive polymorphic types. Zbl 0636.68016MacQueen, David; Plotkin, Gordon; Sethi, Ravi 36 1986 Algebraic operations and generic effects. Zbl 1023.18006Plotkin, Gordon; Power, John 28 2003 Configuration structures, event structures and Petri nets. Zbl 1187.68329Van Glabbeek, R. J.; Plotkin, G. D. 26 2009 Adequacy for algebraic effects. Zbl 0986.68055Plotkin, Gordon; Power, John 25 2001 Concrete domains. Zbl 0809.68085Kahn, G.; Plotkin, G. D. 25 1993 Dijkstra’s predicate transformers and Smyth’s power domains. Zbl 0467.68011Plotkin, G. D. 25 1980 A further note on inductive generalization. Zbl 0261.68042Plotkin, G. D. 25 1971 Computational effects and operations: an overview. Zbl 1273.68213Plotkin, Gordon; Power, John 22 2004 Set-theoretical and other elementary models of the \(\lambda\)-calculus. Zbl 0790.03014Plotkin, Gordon D. 22 1993 A logic for parametric polymorphism. Zbl 0788.68091Plotkin, Gordon; Abadi, Martín 21 1993 Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. 20 2005 A term model for CCS. Zbl 0479.68011Hennessy, M. C. B.; Plotkin, G. D. 18 1980 Handling algebraic effects. Zbl 1314.68191Plotkin, Gordon D.; Pretnar, Matija 17 2013 Semantics for algebraic operations. Zbl 1260.68220Plotkin, Gordon; Power, John 17 2001 Semantic domains for combining probability and non-determinism. Zbl 1271.68005Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. 16 2009 A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002Apt, Krysztof R.; Plotkin, G. D. 14 1981 Handlers of algebraic effects. Zbl 1234.68059Plotkin, Gordon; Pretnar, Matija 13 2009 A logical view of composition. Zbl 0778.68061Abadi, Martín; Plotkin, Gordon D. 12 1993 A powerdomain for countable non-determinism (extended abstract). Zbl 0511.68032Plotkin, G. D. 12 1982 The \(\lambda\)-calculus is \(\omega\)-incomplete. Zbl 0299.02029Plotkin, G. D. 12 1974 Combining algebraic effects with continuations. Zbl 1111.68067Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John 11 2007 Petri nets, event structures and domains. Zbl 0418.68056Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 11 1979 Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002Keimel, Klaus; Plotkin, Gordon D. 10 2017 A language for biochemical systems: design and formal specification. Zbl 1275.92020Pedersen, Michael; Plotkin, Gordon D. 9 2010 Lax logical relations. Zbl 0973.03016Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert 8 2000 On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004Reynolds, John C.; Plotkin, Gordon D. 8 1993 Approximating Markov processes by averaging. Zbl 1248.68322Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 7 2009 Predicate transformers for extended probability and non-determinism. Zbl 1175.68253Keimel, Klaus; Plotkin, Gordon D. 7 2009 A semantics for static type inference. Zbl 0803.68067Plotkin, Gordon 7 1994 Quantitative algebraic reasoning. Zbl 1391.68021Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon 6 2016 Tensors of comodels and models for operational semantics. Zbl 1286.68303Plotkin, Gordon; Power, John 6 2008 Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon 6 2008 Event structures for resolvable conflict. Zbl 1096.68114van Glabbeek, Rob; Plotkin, Gordon 6 2004 Full abstraction, totality and PCF. Zbl 0923.68087Plotkin, Gordon 6 1999 Uncountable limits and the lambda calculus. Zbl 0839.68059Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon 6 1995 Approximating Markov processes by averaging. Zbl 1295.68167Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 5 2014 Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200Kammar, Ohad; Plotkin, Gordon D. 5 2012 A domain-theoretic Banach-Alaoglu theorem. Zbl 1107.06006Plotkin, Gordon 5 2006 Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002Lassez, Jean-Louis (ed.); Plotkin, Gordon (ed.) 5 1991 Finite conjunctive nondeterminism. Zbl 0649.03013Hennessy, M.; Plotkin, G. 5 1987 On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele 4 2014 Multi-level modelling via stochastic multi-level multiset rewriting. Zbl 1318.92015Oury, Nicolas; Plotkin, Gordon 4 2013 From action calculi to linear logic. Zbl 0908.03031Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon 4 1998 An extension of models of axiomatic domain theory to models of synthetic domain theory. Zbl 0884.18009Fiore, Marcelo P.; Plotkin, Gordon D. 4 1997 On a question of H. Friedman. Zbl 0853.68127Plotkin, Gordon 4 1996 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.00063Huet, Gérard (ed.); Plotkin, Gordon (ed.) 4 1991 Some varieties of equational logic (extended abstract). Zbl 1132.08300Plotkin, Gordon 3 2006 Logical full abstraction and PCF. Zbl 0961.68081Longley, John; Plotkin, Gordon 3 1998 Bistructures, bidomains and linear logic. Zbl 1422.03130Plotkin, Gordon; Winskel, Glynn 3 1994 Dependent types and fibred computational effects. Zbl 06591812Ahman, Danel; Ghani, Neil; Plotkin, Gordon D. 2 2016 A model of cooperative threads. Zbl 1315.68079Abadi, Martin; Plotkin, Gordon 2 2009 Approximating labelled Markov processes again! Zbl 1239.68050Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 2 2009 Bialgebraic semantics and recursion (extended abstract). Zbl 1260.68219Plotkin, Gordon 2 2001 Proof, language, and interaction. Essays in honour of Robin Milner. Zbl 0968.68018Plotkin, Gordon (ed.); Stirling, Colin (ed.); Tofte, Mads (ed.) 2 2000 Faithful ideal models for recursive polymorphic types. Zbl 0741.68026Abadi, Martín; Pierce, Benjamin; Plotkin, Gordon 2 1991 Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings. Zbl 0534.00019Kahn, G. (ed.); MacQueen, D. B. (ed.); Plotkin, G. (ed.) 2 1984 An operational semantics for CSP (extended abstract). Zbl 0506.68025Plotkin, Gordon 2 1983 On powerdomains for probabilistic non determinism (copies of slides). Zbl 0565.68050Plotkin, G. D. 2 1982 Layout randomization and nondeterminism. Zbl 1334.68045Abadi, Martín; Planul, Jérémy; Plotkin, Gordon 1 2013 The compiler forest. Zbl 1381.68042Budiu, Mihai; Galenson, Joel; Plotkin, Gordon D. 1 2013 Partial recursive functions and finality. Zbl 1264.03091Plotkin, Gordon 1 2013 A model of cooperative threads. Zbl 1202.68105Abadi, Martín; Plotkin, Gordon D. 1 2010 From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004Bertot, Yves (ed.); Huet, Gérard (ed.); Lévy, Jean-Jacques (ed.); Plotkin, Gordon (ed.) 1 2009 On the completeness of order-theoretic models of the \(\lambda \)-calculus. Zbl 1167.03013Honsell, Furio; Plotkin, Gordon 1 2009 Adequacy for algebraic effects with state. Zbl 1151.68466Plotkin, Gordon 1 2005 Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10-12, 1995. Proceedings. Zbl 0813.68040Dezani-Ciancaglini, Mariangiola (ed.); Plotkin, Gordon (ed.) 1 1995 Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522Barwise, K. Jon (ed.); Gawron, Jean Mark (ed.); Plotkin, Gordon (ed.); Tutiya, Syun (ed.) 1 1991 On proving limiting completeness. Zbl 0632.68012Mosses, Peter D.; Plotkin, Gordon D. 1 1987 Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002Keimel, Klaus; Plotkin, Gordon D. 10 2017 Quantitative algebraic reasoning. Zbl 1391.68021Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon 6 2016 Dependent types and fibred computational effects. Zbl 06591812Ahman, Danel; Ghani, Neil; Plotkin, Gordon D. 2 2016 Approximating Markov processes by averaging. Zbl 1295.68167Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 5 2014 On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele 4 2014 Handling algebraic effects. Zbl 1314.68191Plotkin, Gordon D.; Pretnar, Matija 17 2013 Multi-level modelling via stochastic multi-level multiset rewriting. Zbl 1318.92015Oury, Nicolas; Plotkin, Gordon 4 2013 Layout randomization and nondeterminism. Zbl 1334.68045Abadi, Martín; Planul, Jérémy; Plotkin, Gordon 1 2013 The compiler forest. Zbl 1381.68042Budiu, Mihai; Galenson, Joel; Plotkin, Gordon D. 1 2013 Partial recursive functions and finality. Zbl 1264.03091Plotkin, Gordon 1 2013 Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200Kammar, Ohad; Plotkin, Gordon D. 5 2012 A language for biochemical systems: design and formal specification. Zbl 1275.92020Pedersen, Michael; Plotkin, Gordon D. 9 2010 A model of cooperative threads. Zbl 1202.68105Abadi, Martín; Plotkin, Gordon D. 1 2010 Configuration structures, event structures and Petri nets. Zbl 1187.68329Van Glabbeek, R. J.; Plotkin, G. D. 26 2009 Semantic domains for combining probability and non-determinism. Zbl 1271.68005Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. 16 2009 Handlers of algebraic effects. Zbl 1234.68059Plotkin, Gordon; Pretnar, Matija 13 2009 Approximating Markov processes by averaging. Zbl 1248.68322Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 7 2009 Predicate transformers for extended probability and non-determinism. Zbl 1175.68253Keimel, Klaus; Plotkin, Gordon D. 7 2009 A model of cooperative threads. Zbl 1315.68079Abadi, Martin; Plotkin, Gordon 2 2009 Approximating labelled Markov processes again! Zbl 1239.68050Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 2 2009 From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004Bertot, Yves (ed.); Huet, Gérard (ed.); Lévy, Jean-Jacques (ed.); Plotkin, Gordon (ed.) 1 2009 On the completeness of order-theoretic models of the \(\lambda \)-calculus. Zbl 1167.03013Honsell, Furio; Plotkin, Gordon 1 2009 Tensors of comodels and models for operational semantics. Zbl 1286.68303Plotkin, Gordon; Power, John 6 2008 Finite dimensional vector spaces are complete for traced symmetric monoidal categories. Zbl 1134.18003Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon 6 2008 Combining algebraic effects with continuations. Zbl 1111.68067Hyland, Martin; Levy, Paul Blain; Plotkin, Gordon; Power, John 11 2007 Combining effects: sum and tensor. Zbl 1096.68088Hyland, Martin; Plotkin, Gordon; Power, John 38 2006 A domain-theoretic Banach-Alaoglu theorem. Zbl 1107.06006Plotkin, Gordon 5 2006 Some varieties of equational logic (extended abstract). Zbl 1132.08300Plotkin, Gordon 3 2006 Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. 20 2005 Adequacy for algebraic effects with state. Zbl 1151.68466Plotkin, Gordon 1 2005 A structural approach to operational semantics. Zbl 1082.68062Plotkin, Gordon D. 143 2004 The origins of structural operational semantics. Zbl 1072.68063Plotkin, Gordon D. 48 2004 Computational effects and operations: an overview. Zbl 1273.68213Plotkin, Gordon; Power, John 22 2004 Event structures for resolvable conflict. Zbl 1096.68114van Glabbeek, Rob; Plotkin, Gordon 6 2004 Algebraic operations and generic effects. Zbl 1023.18006Plotkin, Gordon; Power, John 28 2003 Notions of computation determine monads. Zbl 1077.68676Plotkin, Gordon; Power, John 43 2002 Adequacy for algebraic effects. Zbl 0986.68055Plotkin, Gordon; Power, John 25 2001 Semantics for algebraic operations. Zbl 1260.68220Plotkin, Gordon; Power, John 17 2001 Bialgebraic semantics and recursion (extended abstract). Zbl 1260.68219Plotkin, Gordon 2 2001 Lax logical relations. Zbl 0973.03016Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert 8 2000 Proof, language, and interaction. Essays in honour of Robin Milner. Zbl 0968.68018Plotkin, Gordon (ed.); Stirling, Colin (ed.); Tofte, Mads (ed.) 2 2000 Full abstraction, totality and PCF. Zbl 0923.68087Plotkin, Gordon 6 1999 From action calculi to linear logic. Zbl 0908.03031Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon 4 1998 Logical full abstraction and PCF. Zbl 0961.68081Longley, John; Plotkin, Gordon 3 1998 An extension of models of axiomatic domain theory to models of synthetic domain theory. Zbl 0884.18009Fiore, Marcelo P.; Plotkin, Gordon D. 4 1997 On a question of H. Friedman. Zbl 0853.68127Plotkin, Gordon 4 1996 Uncountable limits and the lambda calculus. Zbl 0839.68059Di Gianantonio, Pietro; Honsell, Furio; Plotkin, Gordon 6 1995 Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10-12, 1995. Proceedings. Zbl 0813.68040Dezani-Ciancaglini, Mariangiola (ed.); Plotkin, Gordon (ed.) 1 1995 A semantics for static type inference. Zbl 0803.68067Plotkin, Gordon 7 1994 Bistructures, bidomains and linear logic. Zbl 1422.03130Plotkin, Gordon; Winskel, Glynn 3 1994 A framework for defining logics. Zbl 0778.03004Harper, Robert; Honsell, Furio; Plotkin, Gordon 183 1993 Concrete domains. Zbl 0809.68085Kahn, G.; Plotkin, G. D. 25 1993 Set-theoretical and other elementary models of the \(\lambda\)-calculus. Zbl 0790.03014Plotkin, Gordon D. 22 1993 A logic for parametric polymorphism. Zbl 0788.68091Plotkin, Gordon; Abadi, Martín 21 1993 A logical view of composition. Zbl 0778.68061Abadi, Martín; Plotkin, Gordon D. 12 1993 On functors expressible in the polymorphic typed lambda calculus. Zbl 0785.03004Reynolds, John C.; Plotkin, Gordon D. 8 1993 Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002Lassez, Jean-Louis (ed.); Plotkin, Gordon (ed.) 5 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.00063Huet, Gérard (ed.); Plotkin, Gordon (ed.) 4 1991 Faithful ideal models for recursive polymorphic types. Zbl 0741.68026Abadi, Martín; Pierce, Benjamin; Plotkin, Gordon 2 1991 Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522Barwise, K. Jon (ed.); Gawron, Jean Mark (ed.); Plotkin, Gordon (ed.); Tutiya, Syun (ed.) 1 1991 A probabilistic powerdomain of evaluations. Zbl 0716.06003Jones, C.; Plotkin, G. D. 79 1989 Finite conjunctive nondeterminism. Zbl 0649.03013Hennessy, M.; Plotkin, G. 5 1987 On proving limiting completeness. Zbl 0632.68012Mosses, Peter D.; Plotkin, Gordon D. 1 1987 Countable nondeterminism and random assignment. Zbl 0627.68015Apt, K. R.; Plotkin, G. D. 42 1986 An ideal model for recursive polymorphic types. Zbl 0636.68016MacQueen, David; Plotkin, Gordon; Sethi, Ravi 36 1986 Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings. Zbl 0534.00019Kahn, G. (ed.); MacQueen, D. B. (ed.); Plotkin, G. (ed.) 2 1984 An operational semantics for CSP. Zbl 0512.68012Plotkin, G. D. 53 1983 An operational semantics for CSP (extended abstract). Zbl 0506.68025Plotkin, Gordon 2 1983 The category-theoretic solution of recursive domain equations. Zbl 0493.68022Smyth, M. B.; Plotkin, G. D. 133 1982 A powerdomain for countable non-determinism (extended abstract). Zbl 0511.68032Plotkin, G. D. 12 1982 On powerdomains for probabilistic non determinism (copies of slides). Zbl 0565.68050Plotkin, G. D. 2 1982 Petri nets, event structures and domains. I. Zbl 0452.68067Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 170 1981 A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002Apt, Krysztof R.; Plotkin, G. D. 14 1981 Dijkstra’s predicate transformers and Smyth’s power domains. Zbl 0467.68011Plotkin, G. D. 25 1980 A term model for CCS. Zbl 0479.68011Hennessy, M. C. B.; Plotkin, G. D. 18 1980 Full abstraction for a simple parallel programming language. Zbl 0457.68006Hennessy, M. C. B.; Plotkin, G. D. 63 1979 Petri nets, event structures and domains. Zbl 0418.68056Nielsen, Mogens; Plotkin, Gordon; Winskel, Glynn 11 1979 LCF considered as a programming language. Zbl 0369.68006Plotkin, G. D. 201 1978 \(\mathbb{T}^\omega\) as a universal domain. Zbl 0419.03007Plotkin, G. 44 1978 A powerdomain construction. Zbl 0355.68015Plotkin, G. D. 175 1976 Call-by-name, call-by-value and the \(\lambda\)-calculus. Zbl 0325.68006Plotkin, G. D. 190 1975 The \(\lambda\)-calculus is \(\omega\)-incomplete. Zbl 0299.02029Plotkin, G. D. 12 1974 Building-in equational theories. Zbl 0262.68036Plotkin, G. D. 88 1972 A further note on inductive generalization. Zbl 0261.68042Plotkin, G. D. 25 1971 A note on inductive generalization. Zbl 0219.68045Plotkin, G. D. 66 1969 all cited Publications top 5 cited Publications all top 5 Cited by 1,776 Authors 24 Montanari, Ugo G. 21 Plotkin, Gordon D. 21 Power, John 20 Winskel, Glynn 18 Rabe, Florian 17 Aceto, Luca 17 Ingólfsdóttir, Anna 17 Meseguer Guaita, José 15 Danvy, Olivier 15 Honsell, Furio 15 van Glabbeek, Robert Jan 14 Dezani-Ciancaglini, Mariangiola 14 Pientka, Brigitte 13 Abramsky, Samson 13 Adámek, Jiří 13 Baldan, Paolo 13 Jacobs, Bart 12 Reniers, Michel Adriaan 11 Miller, Dale Allen 10 Alessi, Fabio 10 Bruni, Roberto 10 Hennessy, Matthew C. B. 10 Jung, Achim 10 Keimel, Klaus 10 Kou, Hui 10 Miculan, Marino 10 Roşu, Grigore 10 Rutten, Jan J. M. M. 10 Schmidt-Schauß, Manfred 9 Birkedal, Lars 9 de Bakker, Jacobus W. 9 De Nicola, Rocco 9 Ehrhard, Thomas 9 Goubault-Larrecq, Jean 9 Hötzel Escardó, Martín 9 Meyer, John-Jules Charles 9 Paolini, Luca 9 Phillips, Iain W. 9 Ulidowski, Irek 9 Yoshida, Nobuko 8 Edalat, Abbas 8 Felty, Amy P. 8 Kohlhase, Michael 8 Larsen, Kim Guldstrand 8 Majster-Cederbaum, Mila E. 8 Manzonetto, Giulio 8 Mislove, Michael W. 8 Olderog, Ernst-Rüdiger 8 Panangaden, Prakash 8 Pym, David J. 8 Schröder, Lutz 8 Staton, Sam 8 Thiagarajan, Pazhamaneri Subramaniam 7 Abadi, Martín 7 Apt, Krzysztof Rafal 7 Baier, Christel 7 Coppo, Mario 7 Corradini, Andrea 7 Dal Lago, Ugo 7 Droste, Manfred 7 Gregorio-Rodríguez, Carlos 7 Harper, Robert 7 Horozal, Fulya 7 Kok, Joost N. 7 Lenisa, Marina 7 Mason, Ian A. 7 Mousavi, Mohammadreza 7 Pfenning, Frank 7 Pinna, G. Michele 7 Pitts, Andrew M. 7 Sabel, David 7 Smyth, Michael B. 7 Talcott, Carolyn L. 7 Uustalu, Tarmo 7 Vogler, Walter 6 Abbes, Samy 6 Alpuente, María 6 Battenfeld, Ingo 6 Benveniste, Albert 6 Berline, Chantal 6 Broy, Manfred 6 Colvin, Robert J. 6 Curien, Pierre-Louis 6 Danos, Vincent 6 de Frutos-Escrig, David 6 Ésik, Zoltán 6 Francez, Nissim 6 Ghani, Neil 6 Goncharov, Sergeĭ Savost’yanovich 6 Groote, Jan Friso 6 Jagadeesan, Radha 6 Klin, Bartek 6 Klop, Jan Willem 6 Longo, Giuseppe 6 Luttik, Bas 6 McIver, Annabelle K. 6 Momigliano, Alberto 6 Nadathur, Gopalan 6 Nielsen, Mogens 6 Streicher, Thomas ...and 1,676 more Authors all top 5 Cited in 99 Serials 483 Theoretical Computer Science 145 Information and Computation 70 MSCS. Mathematical Structures in Computer Science 41 Annals of Pure and Applied Logic 41 Journal of Automated Reasoning 41 Journal of Functional Programming 37 Journal of Logical and Algebraic Methods in Programming 36 Journal of Symbolic Computation 35 Information Processing Letters 34 Logical Methods in Computer Science 31 Journal of Computer and System Sciences 31 Formal Aspects of Computing 30 Acta Informatica 26 The Journal of Logic and Algebraic Programming 21 Topology and its Applications 20 Artificial Intelligence 14 Journal of Pure and Applied Algebra 13 Higher-Order and Symbolic Computation 11 Annals of Mathematics and Artificial Intelligence 10 Machine Learning 9 The Journal of Symbolic Logic 8 The Bulletin of Symbolic Logic 8 Theory and Practice of Logic Programming 7 Science of Computer Programming 7 Journal of Computer Science and Technology 7 RAIRO. Informatique Théorique et Applications 7 Formal Methods in System Design 7 RAIRO. Theoretical Informatics and Applications 6 Distributed Computing 5 Mathematical Systems Theory 5 International Journal of Foundations of Computer Science 5 Applied Categorical Structures 5 Logica Universalis 4 Information Sciences 4 Programming and Computer Software 4 RAIRO, Informatique Théorique 4 Synthese 4 Discrete Event Dynamic Systems 4 Applicable Algebra in Engineering, Communication and Computing 4 Journal of Applied Logic 3 Algebra Universalis 3 BIT 3 Order 3 International Journal of Parallel Programming 3 International Journal of Approximate Reasoning 2 Computers & Mathematics with Applications 2 Advances in Mathematics 2 Semigroup Forum 2 Studia Logica 2 New Generation Computing 2 Journal of Logic, Language and Information 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 Discrete Applied Mathematics 1 Discrete Mathematics 1 Journal of Mathematical Analysis and Applications 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 Notre Dame Journal of Formal Logic 1 Software. Practice & Experience 1 Mathematical Social Sciences 1 History and Philosophy of Logic 1 Japan Journal of Applied Mathematics 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 Indagationes Mathematicae. New Series 1 Cybernetics and Systems Analysis 1 Topology Proceedings 1 Diagrammes 1 Mathematical Logic Quarterly (MLQ) 1 Theory and Applications of Categories 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 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Mathematics in Computer Science 1 Journal of Formalized Reasoning 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 1 Categories and General Algebraic Structures with Applications all top 5 Cited in 32 Fields 1,536 Computer science (68-XX) 535 Mathematical logic and foundations (03-XX) 206 Category theory; homological algebra (18-XX) 136 Order, lattices, ordered algebraic structures (06-XX) 55 General topology (54-XX) 34 General algebraic systems (08-XX) 21 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 Biology and other natural sciences (92-XX) 19 Probability theory and stochastic processes (60-XX) 15 Quantum theory (81-XX) 12 History and biography (01-XX) 12 Group theory and generalizations (20-XX) 9 Measure and integration (28-XX) 9 Systems theory; control (93-XX) 9 Information and communication theory, circuits (94-XX) 7 Operations research, mathematical programming (90-XX) 6 Combinatorics (05-XX) 6 Functional analysis (46-XX) 5 General and overarching topics; collections (00-XX) 4 Topological groups, Lie groups (22-XX) 4 Real functions (26-XX) 4 Convex and discrete geometry (52-XX) 3 Associative rings and algebras (16-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Statistics (62-XX) 2 Number theory (11-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Ordinary differential equations (34-XX) 2 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year