@inbook(AbramskyGayNagarajan96,
author = "S. Abramsky and S.J. Gay and R. Nagarajan",
year = "1996",
title = "Deductive Program Desing: Proceedings of the 1994 Marktoberdorf International Summer School",
chapter = "Interaction categories and the foundations of typed concurrent programming",
volume = "4 Semantic Modelling",
publisher = "Springer",
)
@book(vanBreugel,
author = "{F. van} Breugel",
year = "1997",
title = "Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion",
series = "Progress in Theoretical Computer Science",
publisher = "Birkh\"auser Boston",
address = "Cambridge",
)
@inproceedings(vanBreugel05,
author = "{F. van} Breugel",
year = "2005",
title = "A Behavioural Pseudometric for Metric Labelled Transition Systems",
editor = "M. Abadi and L. de Alfaro",
booktitle = "Proceedings of the 16th International Conference on Concurrency Theory (CONCUR)",
series = "Lecture Notes in Computer Science",
volume = "3653",
publisher = "Springer-Verlag",
address = "San Francisco",
pages = "141--155",
doi = "10.1007/11539452\_14",
)
@phdthesis(Cattani99,
author = "G.L. Cattani",
year = "1999",
title = "Presheaf Models for Concurrency",
school = "University of Aarhus",
note = "BRICS DS-99-1",
)
@article(CorradiniMontanariRossi96,
author = "Andrea Corradini and Ugo Montanari and Francesca Rossi",
year = "1996",
title = "Graph processes",
journal = "Fundamenta Informaticae",
volume = "26",
number = "3",
pages = "241--265",
doi = "10.3233/FI-1996-263402",
)
@inproceedings(Cuijpers13a,
author = "P.J.L. Cuijpers",
year = "2013",
title = "Prefix Orders as a General Model of Dynamics",
booktitle = "DCM 2013",
series = "to appear",
)
@inproceedings(CuijpersReniers08,
author = "P.J.L. Cuijpers and M.A. Reniers",
year = "2008",
title = "Lost in Translation: Hybrid-Time Flows vs Real-Time Transitions",
booktitle = "Hybrid Systems Computation and Control (HSCC'08)",
series = "Lecture Notes in Computer Science",
volume = "4981",
pages = "116--129",
doi = "10.1007/978-3-540-78929-1\_9",
)
@book(Eisenberg,
author = "M. Eisenberg",
year = "1974",
title = "Topology",
publisher = "Holt, Rinehart and Winston, Inc.",
address = "New York",
)
@inproceedings(AartsHeidarianVaandrager12,
author = "F. Heidarian F. Aarts and F.W. Vaandrager",
year = "2012",
title = "A Theory of History Dependent Abstractions for Learning Interface Automata",
editor = "Maciej Koutny and Irek Ulidowski",
booktitle = "Proceedings 23rd International Conference on Concurrency Theory (CONCUR)",
series = "Lecture Notes in Computer Science",
volume = "7454",
publisher = "Springer-Verlag",
address = "Newcastle upon Tyne, UK",
pages = "240--255",
doi = "10.1007/978-3-642-32940-1\_18",
)
@inproceedings(Henzinger10,
author = "Thomas A. Henzinger",
year = "2010",
title = "From Boolean to quantitative notions of correctness",
editor = "Manuel V. Hermenegildo and Jens Palsberg",
booktitle = "Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010",
publisher = "ACM",
pages = "157--158",
doi = "10.1145/1706299.1706319",
)
@article(Huth05,
author = "M. Huth",
year = "2005",
title = "Labelled transition systems as a Stone space",
journal = "Logical Methods in Computer Science",
volume = "1",
number = "1:1",
pages = "1--28",
doi = "10.2168/LMCS-1(1:1)2005",
)
@inproceedings(JoyalNielsenWinskel93,
author = "Andr{\'e} Joyal and M Nielsen and Glynn Winskel",
year = "1993",
title = "Bisimulation and open maps",
booktitle = "Logic in Computer Science, 1993. LICS'93., Proceedings of Eighth Annual IEEE Symposium on",
organization = "IEEE",
pages = "418--427",
doi = "10.1109/LICS.1993.287566",
)
@book(Kelley,
author = "J.L. Kelley",
year = "1955",
title = "General Topology",
publisher = "D. van Nostrand Company, inc.",
address = "New York",
)
@book(Kunen,
author = "K. Kunen",
year = "1988",
title = "Set Theory: An Introduction to Independence Proofs",
edition = "third",
series = "Studies In Logic and the Foundations of Mathematics",
volume = "102",
publisher = "Elsevier Science B.V.",
)
@book(LawvereSchanuel,
author = "F.W. Lawvere and S.H. Schanuel",
year = "1997",
title = "Conceptual Mathematics: a first introduction to categories",
publisher = "Cambridge University Press",
)
@book(MacLane,
author = "S. MacLane",
year = "1971",
title = "Categories for the Working Mathematician",
publisher = "Springer-Verlag",
)
@article(MontanariPistore97,
author = "Ugo Montanari and Marco Pistore",
year = "1997",
title = "An Introduction to History Dependent Automata",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "10",
number = "0",
pages = "170 -- 188",
doi = "10.1016/S1571-0661(05)80696-6",
)
@article(Morgan09,
author = "C. Morgan",
year = "2009",
title = "How to Brew-up a Refinement Ordering",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "259",
number = "0",
pages = "123 -- 141",
doi = "10.1016/j.entcs.2009.12.021",
)
@book(PerrinPin,
author = "D. Perrin and J-E. Pin",
year = "2004",
title = "Infinite Words Automata, Semigroups, Logic and Games",
series = "Pure and Applied Mathematics",
volume = "141",
publisher = "Elsevier",
)
@article(WinskelNielsen97,
author = "Glynn Winskel and Mogens Nielsen",
year = "1997",
title = "Presheaves as transition systems",
journal = "DIMACS Series in Discrete Mathematics and Theoretical Computer Science",
volume = "29",
pages = "129--140",
)
@book(Ying,
author = "M. Ying",
year = "2001",
title = "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs",
publisher = "Springer-Verlag",
doi = "10.1007/978-1-4613-0123-3",
)