Samson Abramsky : Publications
Click here to download all publications in a single bibtex file
@article{abramsky2010robin,
title = "{Robin Milner's Work on Concurrency}",
author = "Abramsky, S.",
year = "2010",
issn = "1571-0661",
journal = "Electronic Notes in Theoretical Computer Science",
pages = "5--10",
publisher = "Elsevier",
volume = "265",
}
@article{abramsky2010introduction,
title = "{Introduction to categories and categorical logic}",
author = "Abramsky, S. and Tzevelekos, N.",
year = "2010",
journal = "New Structures for Physics. Springer",
}
@conference{abramsky2010coalgebras,
title = "{Coalgebras, chu spaces, and representations of physical systems}",
author = "Abramsky, S.",
year = "2010",
booktitle = "Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on",
issn = "1043-6871",
organization = "IEEE",
pages = "411--420",
}
@incollection{abramsky2010csp,
title = "{From CSP to Game Semantics}",
author = "Abramsky, S.",
year = "2010",
booktitle = "Reflections on the Work of C.A.R. Hoare",
pages = "33--45",
publisher = "Springer",
}
@techreport{RR-09-08,
title = "Big Toy Models: Representing Physical Systems As Chu Spaces",
author = "Samson Abramsky",
year = "2009",
institution = "OUCL",
month = "September",
number = "RR-09-08",
pages = "19",
}
@techreport{RR-09-11,
title = "Coalgebras, Chu Spaces, and Representations of Physical Systems",
author = "Samson Abramsky",
year = "2009",
institution = "OUCL",
month = "October",
number = "RR-09-11",
pages = "26",
}
@article{abramsky2009if,
title = "{From IF to BI: A tale of dependence and separation ()}",
author = "Abramsky, S. and V{\\"a}{\\"a}n{\\"a}nen, J.",
year = "2009",
issn = "1573-0964",
journal = "Synthese",
number = "2",
pages = "207--230",
publisher = "Springer",
url = "http://arxiv.org/pdf/1102.1388v1",
volume = "167",
}
@article{abramsky2009game,
title = "{Game Semantics for Access Control}",
author = "Abramsky, S. and Jagadeesan, R.",
year = "2009",
issn = "1571-0661",
journal = "Electronic Notes in Theoretical Computer Science",
pages = "135--156",
publisher = "Elsevier",
volume = "249",
}
@inproceedings{Mon08,
title = "Petri Nets, Discrete Physics, and Distributed Quantum Computation",
author = "Samson Abramsky",
year = "2008",
booktitle = "Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday.",
editor = "Pierpaolo Degano and Rocco De Nicola and Jose Meseguer",
pages = "527--543",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "5065",
}
@inproceedings{TLG07,
title = "A Compositional Game Semantics for Multi-Agent Logics of Partial Information",
author = "Samson Abramsky",
year = "2007",
editor = "J. van Bentham and D. Gabbay and B. Lowe",
journal = "Interactive Logic",
pages = "11--48",
publisher = "Amsterdam University Press",
series = "Texts in Logic and Games",
volume = "1",
}
@inproceedings{paper84,
title = "Physics from Computer Science",
author = "S. Abramsky and B. Coecke",
year = "2007",
booktitle = "International Journal of Unconventional Computing",
number = "3",
pages = "179-197",
volume = "3",
}
@inproceedings{paper85,
title = "Temperley-Lieb algebra: From knot theory to logic and computation via quantum mechanics",
author = "S. Abramsky",
year = "2007",
booktitle = "Mathematics of Quantum Computing and Technology",
editor = "Goong Chen and Louis Kauffman and Sam Lomonaco",
pages = "415-458",
publisher = "Taylor and Francis",
}
@inproceedings{paper83,
title = "Event Domains, Stable Functions and Proof Nets",
author = "S. Abramsky",
year = "2007",
booktitle = "Plotkin Festschrift",
pages = "33-67",
series = "Electronic Notes in Theoretical Computer Science",
volume = "172",
}
@inproceedings{paper81,
title = "A Categorical Quantum Logic",
author = "S. Abramsky and R. Duncan",
year = "2006",
booktitle = "Mathematical Structures in Computer Science, 16",
pages = "469-489",
}
@inproceedings{paper82,
title = "What are the fundamental structures of concurrency? We still don't know!",
author = "S. Abramsky",
year = "2006",
booktitle = "Electronic Notes in Theoretical Computer Science, 162",
pages = "37-41",
}
@inproceedings{paper80,
title = "Socially Responsive, Environmentally Friendly Logic",
author = "S. Abramsky",
year = "2006",
booktitle = "Truth and Games: Essays in Honour of Gabriel Sandu",
editor = "Aho, Tuomo and Ahti-Veikko Pietarinen",
pages = "17-46",
publisher = "Acta Philosophica Fennica, Societas Philosophicas Fennica, Helsinki",
}
@inproceedings{paper76,
title = "What are the fundamental structures of concurrency? We still don't know!",
author = "S. Abramsky",
year = "2005",
booktitle = "Algebraic process calculi: the first 25 years and beyond",
month = "June",
pages = "1-5",
series = "{BRICS} Notes Series NS-05-03",
}
@inproceedings{paper75,
title = "Linear realizability and full completeness for typed lambda-calculi",
author = "S. Abramsky and M. Lenisa",
year = "2005",
booktitle = "Annals of Pure and Applied Logic",
pages = "122-168",
volume = "134",
}
@inproceedings{paper73,
title = "A Game Semantics for Generic Polymorphism",
author = "S. Abramsky and R. Jagadeesan",
year = "2005",
booktitle = "Annals of Pure and Applied Logic",
pages = "3-37",
volume = "133",
}
@inproceedings{paper74,
title = "Abstract Physical Traces",
author = "S. Abramsky and B. Coecke",
year = "2005",
booktitle = "Theory and Applications of Categories",
pages = "111-124",
volume = "14",
}
@inproceedings{paper79,
title = "A Structural Approach To Reversible Computation",
author = "S. Abramsky",
year = "2005",
booktitle = "Theoretical Computer Science",
number = "3",
pages = "441-464",
volume = "347",
}
@inproceedings{paper78,
title = "A Cook's Tour of the Finitary Non-Well-Founded Sets",
author = "S. Abramsky",
year = "2005",
booktitle = "We Will Show Them: Essays in honour of Dov Gabbay",
editor = "Sergei Artemov and Howard Barringer and Artur d'Avila Garcez and Luis C. Lamb and John Woods",
pages = "1-18",
publisher = "College Publications",
volume = "1",
}
@inproceedings{paper77,
title = "Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories",
author = "S. Abramsky",
year = "2005",
booktitle = "Proceedings of {CALCO} 2005",
pages = "1-31",
series = "Springer Lecture Notes in Computer Science",
volume = "3629",
}
@techreport{RR-04-02,
title = "A Categorical semantics of Quantum Protocols",
author = "Samson Abramsky and Bob Coecke",
year = "2004",
institution = "Oxford University Computing Laboratory",
month = "February",
number = "RR-04-02",
}
@inproceedings{paper69,
title = "Applying Game Semantics to Compositional Software Modelling and verification",
author = "S. Abramsky and D. Ghica and L. Ong and A. Murawski",
year = "2004",
booktitle = "{TACAS 2004}: Tools and Algorithms for the Construction and Analysis of Systems, 10 International Conference",
pages = "421-435",
publisher = "Springer {LNCS}",
volume = "2988",
}
@inproceedings{paper70,
title = "Nominal games and Full Abstraction for the Nu-Calculus",
author = "S. Abramsky and D. Ghica and A. Murawski and C.-H. Ong and I. Stark",
year = "2004",
booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: LICS 2004",
pages = "150-159",
publisher = "{IEEE} Computer Society",
}
@inproceedings{paper72,
title = "A Categorical Semantics of Quantum Protocols",
author = "S. Abramsky and B. Coecke",
year = "2004",
booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004",
pages = "415-425",
publisher = "{IEEE} Computer Society",
}
@inproceedings{paper71,
title = "High-Level Methods for Quantum Computation and Information",
author = "S. Abramsky",
year = "2004",
booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004",
pages = "410-414",
publisher = "{IEEE} Computer Society",
}
@techreport{RR-03-02,
title = "A game semantics for generic polymorphism",
author = "Samson Abramsky and Radha Jagadeesan",
year = "2003",
institution = "Oxford University Computing Laboratory",
month = "January",
number = "RR-03-02",
}
@inproceedings{paper66,
title = "A Game semantics for Generic Polymorphism",
author = "S. Abramsky and R. Jagadeesan",
year = "2003",
booktitle = "Foundations of Software Science and Computational Structures, 6th International Conference, {FOSSACS} 2003",
editor = "A. D. Gordon",
pages = "1-22",
series = "Springer Lecture Notes in Computer Science",
volume = "2620",
}
@inproceedings{paper68,
title = "Algorithmic Game Semantics and Component-Based Verification",
author = "S. Abramsky and D. R. Ghica and L. Ong and A. Murawski",
year = "2003",
booktitle = "Proceedings of {SAVBCS} 2003: Specification and Verification of Component-Based Systems, Workshop at {ESEC/FASE} 2003",
note = "published as Technical Report 03-11, Department of Computer Science, Iowa State University",
pages = "66-74",
url = "http://www.cs.iastate.edu/~leavens/SAVBCS/2003/papers/SAVCBS03.pdf",
}
@inproceedings{paper65,
title = "Physical Traces: Quantum vs. Classical Information Processing",
author = "S. Abramsky and B. Coecke",
year = "2003",
booktitle = "Electronic Notes in Theoretical Computer Science",
pages = "1-26",
url = "http://www1.elsevier.com/gej-ng/31/29/23/131/23/24/69002.pdf",
volume = "69",
}
@inproceedings{paper67,
title = "Sequentiality vs. concurrency in games and logic",
author = "S. Abramsky",
year = "2003",
booktitle = "Mathematical Structures in Computer Science",
pages = "531-565",
volume = "13",
}
@inproceedings{paper64,
title = "Geometry of Interaction and linear combinatory algebras",
author = "S. Abramsky and E. Haghverdi and P. Scott",
year = "2002",
booktitle = "Mathematical Structures in Computer Science",
pages = "625-665",
volume = "12",
}
@inproceedings{paper60,
title = "A fully abstract denotational semantics for the calculus of higher-order communicating systems",
author = "B. Thomsen and S. Abramsky",
year = "2001",
booktitle = "Theoretical Computer Science",
pages = "557-589",
volume = "254",
}
@inproceedings{paper61,
title = "Fully Complete Minimal {PER} Models for the Simply Typed {\lambda}-calculus",
author = "S. Abramsky and M. Lenisa",
year = "2001",
booktitle = "CSL 2001 Conference Proceedings",
pages = "442-457",
series = "Springer {LNCS}",
volume = "2142",
}
@inproceedings{paper63,
title = "Algorithmic Game Semantics: A Tutorial Introduction",
author = "S. Abramsky",
year = "2001",
booktitle = "Proceedings of the {NATO} Advanced Study Institute, Marktober- dorf",
chapter = "Proof and System Reliability",
editor = "H. Schichtenberg and R. Steinbr{\"u}ggen",
pages = "21-47",
publisher = "Kluwer Academic Publishers",
}
@inproceedings{paper62,
title = "A Structural Approach to Reversible Computation",
author = "S. Abramsky",
year = "2001",
booktitle = "LCCS 2001: Proceedings of the International Workshop on Logic and Complexity in Computer Science",
editor = "D. Beauquier and Y. Matiyasevich",
pages = "1-16",
series = "LACL",
}
@book{book4,
title = "The Handbook of Logic in Computer Science",
year = "2000",
editor = "S. Abramsky and D. Gabbay and T. S. E. Maibaum",
note = "Volumes 1 and 2---Background: Mathematical Structures and Back- ground: Computational Structures---published in 1992. Volumes 3 and 4---Semantic Structures and Semantic Modelling--- published in 1995. Volume 5---Logic and Algebraic Methods",
publisher = "Oxford University Press",
}
@inproceedings{paper59,
title = "Axiomatizing Fully Complete Models for {ML} Polymorphic Types",
author = "S. Abramsky and M. Lenisa",
year = "2000",
booktitle = "Proceedings of the International Symposium on Mathematical Foundations of Computer Science",
editor = "M. Nielsen and B. Rovan",
pages = "141-151",
publisher = "Springer-Verlag",
series = "Springer Lecture Notes in Computer Science",
volume = "1893",
}
@inproceedings{paper58,
title = "A Fully Complete {PER} Model for {ML} Polymorphic Types",
author = "S. Abramsky and M. Lenisa",
year = "2000",
booktitle = "Proceedings of the Fourteenth International Workshop on Computer Science Logic",
editor = "P. Clote and H. Schwichtenberg",
pages = "140-155",
publisher = "Springer-Verlag",
series = "Springer Lecture Notes in Computer Science",
volume = "1862",
}
@inproceedings{paper57,
title = "Full Abstraction for {PCF}",
author = "S. Abramsky and R. Jagadeesan and P. Malacaria",
year = "2000",
booktitle = "Information and Computation",
pages = "409-470",
volume = "163",
}
@inproceedings{paper56,
title = "Concurrent Interaction Games",
author = "S. Abramsky",
year = "2000",
booktitle = "Millennial Perspectives in Computer Science",
editor = "J. Davies, A. W. Roscoe and J. Woodcock",
pages = "1-12",
publisher = "Palgrave",
}
@inproceedings{paper55,
title = "Process Realizability",
author = "S. Abramsky",
year = "2000",
booktitle = "Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School",
editor = "F. L. Bauer and R. Steinbr{\"u}ggen",
pages = "167-180",
publisher = "{IOS} Press",
}
@inproceedings{paper54,
title = "Concurrent Games and Full Completeness",
author = "S. Abramsky and P.-A. Melli{\'e}s",
year = "1999",
booktitle = "Proceedings of the Fourteenth International Symposium on Logic in Computer Science",
pages = "431-442",
publisher = "Computer Society Press of the {IEEE}",
}
@inproceedings{paper52,
title = "Full Abstraction for Idealized Algol with passive expressions",
author = "S. Abramsky and G. McCusker",
year = "1999",
booktitle = "Theoretical Computer Science",
pages = "3-42",
volume = "227",
}
@inproceedings{paper49,
title = "Game Semantics",
author = "S. Abramsky and G. McCusker",
year = "1999",
booktitle = "Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School",
editor = "H. Schwichtenberg and U. Berger",
pages = "1-56",
publisher = "Springer-Verlag",
}
@inproceedings{paper51,
title = "A Specification Structure for Deadlock-freedom of Synchronous Processes",
author = "S. Abramsky and S. J. Gay and R. Nagarajan",
year = "1999",
booktitle = "Theoretical Computer Science",
pages = "1-53",
volume = "222",
}
@inproceedings{paper50,
title = "Nuclear and trace ideals in tensored {*-categories}",
author = "S. Abramsky and R. Blute and P. Panangaden",
year = "1999",
booktitle = "J. Pure and Applied Algebra",
pages = "3-47",
volume = "143",
}
@inproceedings{paper48,
title = "Axioms for Definability and Full Completeness",
author = "S. Abramsky",
year = "1999",
booktitle = "Essays in Honour of Robin Milner",
editor = "G. Plotkin and M. Tofte and C. Stirling",
pages = "55-75",
publisher = "MIT Press",
}
@inproceedings{paper46,
title = "Call-by-value games",
author = "S. Abramsky and G. McCusker",
year = "1998",
booktitle = "Proceedings of the Eleventh International Workshop on Computer Science Logic",
editor = "M. Nielsen and W. Thomas",
pages = "1-17",
publisher = "Springer-Verlag",
series = "Springer Lecture Notes in Computer Science",
volume = "1414",
}
@inproceedings{paper47,
title = "A fully abstract game semantics for general references",
author = "S. Abramsky and K. Honda and G. McCusker",
year = "1998",
booktitle = "Proceedings of the Thirteenth International Symposium on Logic in Computer Science",
pages = "334-344",
publisher = "Computer Society Press of the IEEE",
}
@inproceedings{paper42,
title = "Specifying Processes",
author = "S. Abramsky and D. Pavlovic",
year = "1997",
booktitle = "Proceedings of the International Symposium on Category Theory In Computer Science",
editor = "E. Moggi and G. Rosolini",
pages = "147-158",
publisher = "Springer-Verlag",
series = "Springer Lecture Notes in Computer Science",
volume = "1290",
}
@inproceedings{paper41,
title = "Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol",
author = "S. Abramsky and G. McCusker",
year = "1997",
booktitle = "Algol-like Languages",
editor = "P. O'Hearn and R. D. Tennent",
pages = "317-348",
publisher = "Birkhauser",
}
@inproceedings{paper44,
title = "A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems",
author = "S. Abramsky and S. Gay and R. Nagarajan",
year = "1997",
booktitle = "Theoretical Aspects of Computer Software",
editor = "M. Abadi and T. Ito",
pages = "295-320",
publisher = "Springer-Verlag",
series = "Springer Lecture Notes in Computer Science",
volume = "1281",
}
@inproceedings{paper45,
title = "Games in the Semantics of Programming Languages",
author = "S. Abramsky",
year = "1997",
booktitle = "Proceedings of the 11th Amsterdam Colloquium",
editor = "P. Dekker and M. Stokhof and Y. Venema",
pages = "1-6",
publisher = "ILLC, Dept. of Philosophy, University of Amsterdam",
}
@inproceedings{paper43,
title = "Game Semantics for Programming Languages",
author = "S. Abramsky",
year = "1997",
booktitle = "22nd International Symposium on Mathematical Foundations of Computer Science",
editor = "I. Privara and P. Ruzicka",
pages = "3-4",
publisher = "Springer-Verlag",
series = "Springer Lecture Notes in Computer Science",
volume = "1295",
}
@inproceedings{paper40,
title = "Semantics of Interaction: an introduction to Game Semantics",
author = "S. Abramsky",
year = "1997",
booktitle = "Proceedings of the 1996 {CLiCS} Summer School, Isaac Newton Institute",
editor = "P. Dybjer and A. Pitts",
pages = "1-31",
publisher = "Cambridge University Press",
}
@inproceedings{paper38,
title = "Specification Structures and Propositions-as-Types for Concurrency",
author = "S. Abramsky and S. Gay and R. Nagarajan",
year = "1996",
booktitle = "Logics for Concurrency: Structure vs. Automata---Proceedings of the VI I Ith Banff Higher Order Workshop",
editor = "G. Birtwistle and F. Moller",
pages = "5-40",
publisher = "Springer-Verlag",
}
@inproceedings{paper37,
title = "Interaction Categories and the Foundations of Typed Concurrent Programming",
author = "S. Abramsky and S. Gay and R. Nagarajan",
year = "1996",
booktitle = "Proceedings of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design",
editor = "M. Broy",
pages = "35-113",
publisher = "Springer-Verlag",
}
@inproceedings{paper39,
title = "Retracing some paths in process algebra",
author = "S. Abramsky",
year = "1996",
booktitle = "{CONCUR '96}: Concurrency Theory, 7th International Conference",
editor = "U. Montanari and V. Sassone",
pages = "1-17",
publisher = "Springer-Verlag",
}
@inproceedings{paper36,
title = "Games for recursive types",
author = "S. Abramsky and G. McCusker",
year = "1995",
booktitle = "Proceedings of the 1994 Workshop on Theory and Formal Methods",
editor = "C. L. Hankin",
pages = "1-20",
publisher = "Imperial College Press",
}
@inproceedings{paper35,
title = "Games and Full Abstraction for the Lazy {\lambda}-calculus",
author = "S. Abramsky and G. McCusker",
year = "1995",
booktitle = "Proceedings of the Tenth Annual Symposium on Logic in Computer Science",
editor = "D. Kozen",
pages = "234-243",
publisher = "IEEE Computer Society Press",
}
@inproceedings{paper30,
title = "Domain Theory",
author = "S. Abramsky and A. Jung",
year = "1994",
booktitle = "Handbook of Logic in Computer Science",
editor = "S. Abramsky and D. Gabbay and T. S. E. Maibaum",
pages = "1-168",
publisher = "Oxford University Press",
}
@inproceedings{paper34,
title = "Full Abstraction for {PCF} (Extended Abstract)",
author = "S. Abramsky and R. Jagadeesan and P. Malacaria",
year = "1994",
booktitle = "Theoretical Aspects of Computer Software",
editor = "M. Hagiya and J. C. Mitchell",
pages = "1-15",
publisher = "Springer-Verlag",
}
@inproceedings{paper32,
title = "Games and Full Completeness for Multiplicative Linear Logic",
author = "S. Abramsky and R. Jagadeesan",
year = "1994",
booktitle = "Journal of Symbolic Logic",
number = "2",
pages = "543-574",
volume = "59",
}
@inproceedings{paper31,
title = "New Foundations for the Geometry of Interaction",
author = "S. Abramsky and R. Jagadeesan",
year = "1994",
booktitle = "Information and Computation, 111(1)",
pages = "53-119",
}
@inproceedings{paper33,
title = "Proofs as Processes",
author = "S. Abramsky",
year = "1994",
booktitle = "J. Theoretical Computer Science",
pages = "5-9",
volume = "135",
}
@inproceedings{paper29,
title = "Interaction Categories and Communicating Sequential Processes",
author = "S. Abramsky",
year = "1994",
booktitle = "A Classical Mind: Essays in honour of C. A. R. Hoare",
editor = "A. W. Roscoe",
pages = "1-16",
publisher = "Prentice Hall International",
}
@inproceedings{paper27,
title = "An Internal Language for Autonomous Categories",
author = "I. Mackie and L. Roman and S. Abramsky",
year = "1993",
booktitle = "Journal of Applied Categorical Structures",
pages = "311-343",
volume = "1",
}
@inproceedings{paper26,
title = "An Integrated Engineering Study Scheme in Computing",
author = "A. Finkelstein and J. Kramer and S. Abramsky and K. Broda and S. Drossopoulou and S. Eisenbach",
year = "1993",
booktitle = "Computer Journal, 36(4)",
pages = "320-334",
}
@inproceedings{paper24,
title = "Quantales, Observational Logic and Process Semantics",
author = "S. Abramsky and S. J. Vickers",
year = "1993",
booktitle = "Mathematical Structures in Computer Science",
pages = "161-227",
volume = "3",
}
@inproceedings{paper23,
title = "Full Abstraction in the Lazy {\lambda}-calculus",
author = "S. Abramsky and C.-H. L. Ong",
year = "1993",
booktitle = "Information and Computation, 105(2)",
pages = "159-268",
}
@inproceedings{paper28,
title = "Interaction Categories (Extended Abstract)",
author = "S. Abramsky",
year = "1993",
booktitle = "Theory and Formal Methods 1993",
editor = "G. L. Burn and S. J. Gay and M. D. Ryan",
pages = "57-69",
publisher = "Springer-Verlag",
}
@inproceedings{paper25,
title = "Computational Interpretations of Linear logic",
author = "S. Abramsky",
year = "1993",
booktitle = "J. Theoretical Computer Science, 111",
pages = "3-57",
}
@inproceedings{paper22,
title = "Games and Full Completeness for Multiplicative Linear Logic",
author = "S. Abramsky and R. Jagadeesan",
year = "1992",
booktitle = "Foundations of Software Technology and Theoretical Computer Science",
editor = "R. Shyamsundar",
pages = "291-301",
publisher = "Springer-Verlag",
}
@inproceedings{paper21,
title = "New Foundations for the Geometry of Interaction",
author = "S. Abramsky and R. Jagadeesan",
year = "1992",
booktitle = "Symposium on Logic in Computer Science",
pages = "211-222",
publisher = "Computer Society Press of the {IEEE}",
}
@book{book3,
title = "Proceedings of {TAPSOFT} 91",
year = "1991",
editor = "S. Abramsky and T. S. E. Maibaum",
publisher = "Springer Lecture Notes in Computer Science",
volume = "493-494",
}
@inproceedings{paper20,
title = "A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions",
author = "S. Abramsky and T. Jensen",
year = "1991",
booktitle = "{ACM} Symposium on Principles of Programming Languages",
pages = "49-55",
publisher = "{ACM} Press",
}
@inproceedings{paper19,
title = "A Domain Equation for Bisimulation",
author = "S. Abramsky",
year = "1991",
booktitle = "J. Information and Computation",
number = "2",
pages = "161-218",
volume = "92",
}
@inproceedings{paper18,
title = "Domain Theory in Logical Form",
author = "S. Abramsky",
year = "1991",
booktitle = "Annals of Pure and Applied Logic",
pages = "1-77",
volume = "51",
}
@inproceedings{paper17,
title = "A Generalized Kahn Principle for Abstract Asynchronous Networks",
author = "S. Abramsky",
year = "1990",
booktitle = "Symposium on Mathematical Foundations of Programming Language Semantics",
editor = "M. Mislove",
pages = "1-21",
publisher = "Springer-Verlag",
}
@inproceedings{paper16,
title = "Abstract Interpretation, Logical Relations and Kan Extensions",
author = "S. Abramsky",
year = "1990",
booktitle = "J. Logic and Computation, 1(1)",
pages = "5-41",
}
@inproceedings{paper15,
title = "{The Lazy {\lambda}-Calculus}",
author = "S. Abramsky",
year = "1990",
booktitle = "Research Topics in Functional Programming",
editor = "D. Turner",
pages = "65-117",
publisher = "Addison Wesley",
}
@inproceedings{paper14,
title = "Observational Logic and Process Semantics (Abstract)",
author = "S. Abramsky",
year = "1989",
booktitle = "Logic at {Botik} 89",
editor = "A. Meyer and M. Taitslin",
publisher = "Springer-Verlag",
}
@inproceedings{paper13,
title = "Partial evaluation and {MIX} compilation in {PROLOG}",
author = "D. Fuller and S. Abramsky",
year = "1988",
booktitle = "New Generation Computing",
pages = "119-143",
volume = "6",
}
@book{book2,
title = "Abstract Interpretation for Declarative Languages",
year = "1987",
editor = "S. Abramsky and Chris Hankin",
publisher = "Ellis Horwood",
}
@inproceedings{paper10,
title = "Introduction to Abstract Interpretation",
author = "S. Abramsky and C. Hankin",
year = "1987",
booktitle = "Abstract Interpretation for Declarative Languages",
chapter = "1",
editor = "S.Abramsky and C. Hankin",
pages = "9-31",
publisher = "Ellis Horwood",
}
@inproceedings{paper12,
title = "Domain Theory in Logical Form",
author = "S. Abramsky",
year = "1987",
booktitle = "Symposium on Logic in Computer Science",
pages = "47-53",
publisher = "Computer Society Press of the {IEEE}",
}
@inproceedings{paper11,
title = "Observation Equivalence as a Testing Equivalence",
author = "S. Abramsky",
year = "1987",
booktitle = "J. Theoretical Computer Science",
chapter = "53",
pages = "225-241",
}
@phdthesis{AbramskyThesis,
title = "Domain Theory and the Logic of Observable Properties",
author = "Samson Abramsky",
year = "1987",
institution = "University of London",
}
@book{book1,
title = "Category Theory and Computer Programming",
year = "1986",
editor = "S. Abramsky and D. Pitt and A. Poign{\'e} and D. Rydeheard)",
publisher = "Springer",
}
@inproceedings{paper9,
title = "The Theory of Strictness Analysis for Higher Order Functions",
author = "G. Burn and C. Hankin and S. Abramsky",
year = "1986",
booktitle = "Programs as Data Objects",
editor = "H. Ganzinger and N. Jones",
pages = "42-62",
publisher = "Springer-Verlag",
}
@inproceedings{paper7,
title = "Strictness Analysis for Higher Order Functions",
author = "G. Burn and C. Hankin and S. Abramsky",
year = "1986",
booktitle = "Science of Computer Programming 7",
pages = "249-278",
}
@inproceedings{paper8,
title = "Strictness Analysis and Polymorphic Invariance",
author = "S. Abramsky",
year = "1986",
booktitle = "Programs as Data Objects",
editor = "H. Ganzinger and N. Jones",
pages = "1-23",
publisher = "Springer-Verlag",
}
@inproceedings{paper6,
title = "{SECD-M}: a virtual machine for applicative multiprogramming",
author = "S. Abramsky and R. Sykes",
year = "1985",
booktitle = "Functional Languages and Computer Architecture",
editor = "J.-P. Jouannaud",
pages = "81-98",
publisher = "Springer-Verlag",
}
@inproceedings{paper5,
title = "Reasoning about concurrent systems: a functional approach",
author = "S. Abramsky",
year = "1984",
booktitle = "Distributed Systems",
editor = "F. Chambers and D. Duce and G. Jones",
pages = "307-319",
publisher = "Academic Press",
}
@inproceedings{paper2,
title = "Pascal-m: a language for the design of loosely coupled distributed systems",
author = "S. Abramsky and R. Bornat",
year = "1983",
booktitle = "Distributed Computing Systems: Synchronization, Control and Coordination",
editor = "Y. Paker and J.-P. Verjus",
pages = "163-189",
publisher = "Academic Press",
}
@inproceedings{paper4,
title = "Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming",
author = "S. Abramsky",
year = "1983",
booktitle = "Foundations of Computation Theory",
editor = "M. Karpinski",
pages = "1-13",
publisher = "Springer-Verlag",
}
@inproceedings{paper3,
title = "Semantic Foundations for Applicative Multiprogramming",
author = "S. Abramsky",
year = "1983",
booktitle = "Automata, Languages and Programming",
editor = "J. Diaz",
pages = "1-14",
publisher = "Springer-Verlag",
}
@inproceedings{paper1,
title = "Pascal-m in Office Information Systems",
author = "S. Abramsky and S. Cook",
year = "1982",
booktitle = "Office Information Systems",
editor = "N. Naffah",
publisher = "North Holland",
}