@article{PavlovicD:MSCS08,
  title = "A new description of orthogonal bases",
  author = "Bob Coecke and Dusko Pavlovic and Jamie Vicary",
  year = "2011",
  address = "Amsterdam, The Netherlands, The Netherlands",
  journal = "Math. Structures in Comp. Sci.",
  note = "13 pp., to appear, arxiv.org:0810.0812",
  publisher = "Elsevier Science Publishers B. V.",
}
@article{PavlovicD:QPL09,
  title = "Relating toy models of quantum computation: comprehension, complementarity and dagger autonomous categories",
  author = "Dusko Pavlovic",
  year = "2011",
  address = "Amsterdam, The Netherlands, The Netherlands",
  journal = "E. Notes in Theor. Comp. Sci.",
  note = "arxiv.org:1006.1011",
  number = "2",
  pages = "121--139",
  publisher = "Elsevier Science Publishers B. V.",
  volume = "270",
}
@inproceedings{PavlovicD:FAST10,
  title = "Quantifying and qualifying trust: Spectral decomposition of trust networks",
  author = "Dusko Pavlovic",
  year = "2011",
  booktitle = "Proceedings of FAST 2010",
  editor = "Pierpaolo Degano and Sandro Etalle and Joshua Guttman",
  note = "arxiv.org:1011.5696",
  pages = "1--17",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6561",
}
@techreport{PavlovicD:ANTS,
  title = "Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2011",
  month = "March",
  note = "arxiv.org:1106.0706; under submission",
}
@inproceedings{PavlovicD:NSPW11,
  title = "Gaming security by obscurity: If the enemy knows the system, then the system should learn from the enemy",
  author = "Dusko Pavlovic",
  year = "2011",
  booktitle = "Proceedings of NSPW 2011",
  editor = "Carrie Gates and Cormac Herley",
  note = "to appear",
  pages = "15 pp",
  publisher = "ACM",
}
@proceedings{PavlovicD:AMAST10,
  title = "Algebraic Methodology and Software Technology, 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers",
  year = "2011",
  booktitle = "AMAST",
  editor = "Michael Johnson and Dusko Pavlovic",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6486",
}
@inproceedings{PavlovicD:MPC10,
  title = "Formal derivation of concurrent garbage collectors",
  author = "Dusko Pavlovic and Peter Pepper and Douglas R. Smith",
  year = "2010",
  booktitle = "Proceedings of MPC 2010",
  editor = "Jules Desharnais",
  note = "full version arxiv.org:1006.4342",
  pages = "353--376",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/10-garbage-full.pdf",
  volume = "6120",
}
@incollection{PavlovicD:Qabs,
  title = "Geometry of abstraction in quantum computation",
  author = "{Dusko Pavlovic}",
  year = "2010",
  booktitle = "Clifford Lectures 2008",
  editor = "Michael Mislove",
  note = "28 pp, arxiv.org:1006.1010",
  publisher = "AMS",
  url = "http://www.comlab.ox.ac.uk//files/2533/RR-09-13.pdf",
}
@inproceedings{PavlovicD:CWSP09,
  title = "Deriving ephemeral authentication using channel axioms",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2010",
  booktitle = "Proceedings of the Cambridge Workshop on Security Protocols 2009",
  editor = "Bruce Christianson",
  note = "to appear",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
}
@article{PavlovicD:MFPS10,
  title = "Bayesian Authentication: {Quantifying} Security of the {Hancke-Kuhn} Protocol",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2010",
  issn = "1571-0661",
  journal = "E. Notes in Theor. Comp. Sci.",
  keywords = "security protocol, pervasive authentication, symbolic model, Bayesian reasoning, distance bounding",
  pages = "97 - 122",
  volume = "265",
  doi = "DOI: 10.1016/j.entcs.2010.08.007",
}
@inproceedings{PavlovicD:SEFM10,
  title = "The unreasonable ineffectiveness of security engineering: {An overview}",
  author = "Dusko Pavlovic",
  year = "2010",
  booktitle = "Proceedings of IEEE Conference on Software Engineering and Formal Methods, Pisa, Italy, 2010",
  editor = "Jos\'e Luiz Fiadeiro and Stefania Gnesi",
  pages = "12--18",
  publisher = "IEEE",
}
@incollection{PavlovicD:CQStruct,
  title = "Classical and quantum structuralism",
  author = "Bob Coecke and \'{E}ric Oliver Paquette and {Dusko Pavlovic}",
  year = "2009",
  booktitle = "Semantical Techniques in Quantum Computation",
  editor = "Simon Gay and Ian Mackie",
  pages = "29--69",
  publisher = "Cambridge University Press",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CQStruct.pdf",
}
@inproceedings{PavlovicD:CALCO09,
  title = "A semantical approach to equilibria and rationality",
  author = "Dusko Pavlovic",
  year = "2009",
  booktitle = "Proceedings of CALCO 2009",
  editor = "Alexander Kurz and Andzrej Tarlecki",
  note = "arxiv.org:0905.3548",
  pages = "317--334",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5728",
}
@techreport{RR-09-13,
  title = "Geometry of abstraction in quantum computation",
  author = "Dusko Pavlovic",
  year = "2009",
  institution = "OUCL",
  month = "October",
  number = "RR-09-13",
  pages = "29",
}
@techreport{RR-09-09,
  title = "Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2009",
  institution = "OUCL",
  month = "October",
  number = "RR-09-09",
  pages = "12",
}
@inproceedings{PavlovicD:CWSP09,
  title = "Deriving ephemeral authentication",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2009",
  booktitle = "Proceedings of the Cambridge Workshop on Security Protocols 2009",
  editor = "Bruce Christianson",
}
@inproceedings{PavlovicD:QI09,
  title = "Quantum and classical structures in nondeterministic computation",
  author = "Dusko Pavlovic",
  year = "2009",
  booktitle = "Proceedings of Quantum Interaction 2009",
  editor = "Peter Bruza and Don Sofge and Keith {van Rijsbergen}",
  note = "arxiv.org:0812.2266",
  pages = "143--158",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Artificial Intelligence",
  volume = "5494",
}
@article{cpv08-ndob,
  title = "A new description of orthogonal bases",
  author = "Bob Coecke and Dusko Pavlovic and Jamie Vicary",
  year = "2008",
  journal = "ENTCS",
  note = "To appear",
  url = "http://arxiv.org/abs/0810.0812",
}
@incollection{PavlovicD:CQStruct,
  title = "Classical and quantum structuralism",
  author = "Bob Coecke and Eric Oliver Paquette and Dusko Pavlovic",
  year = "2008",
  booktitle = "Semantical Techniques in Quantum Computation",
  editor = "Simon Gay and Ian Mackie",
  note = "to appear",
  publisher = "Cambridge University Press",
}
@inproceedings{PavlovicD:ISTPS08,
  title = "Deriving authentication for pervasive security",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2008",
  booktitle = "Proceedings of the ISTPS 2008",
  editor = "John McLean",
  note = "15 pp",
  publisher = "ACM",
}
@inproceedings{PavlovicD:AMAST08,
  title = "Evolving specification engineering",
  author = "Dusko Pavlovic and Peter Pepper and Douglas R. Smith",
  year = "2008",
  booktitle = "Proceedings of AMAST 2008",
  editor = "Jose Meseguer and Grigore Rosu",
  pages = "299--314",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST08.pdf",
  volume = "5140",
}
@inproceedings{PavlovicD:FAST08,
  title = "Dynamics, robustness and fragility of trust",
  author = "Dusko Pavlovic",
  year = "2008",
  booktitle = "Proceedings of FAST 2008",
  editor = "Pierpaolo Degano and Joshua Guttman and Fabio Martinelli",
  note = "arxiv.org:0808.0732",
  pages = "97--113",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FAST08.pdf",
  volume = "5491",
}
@techreport{RR-08-02,
  title = "Classical and Quantum Structures",
  author = "Bob Coecke and Eric O Paquette and Dusko Pavlovic",
  year = "2008",
  institution = "OUCL",
  number = "RR-08-02",
}
@techreport{RR-08-03,
  title = "Scalar Inverses in Quantum Structuralism",
  author = "Bob Coecke and Dusko Pavlovic",
  year = "2008",
  institution = "OUCL",
  number = "RR-08-03",
}
@inproceedings{PavlovicD:QI08,
  title = "On quantum statistics in data analysis",
  author = "Dusko Pavlovic",
  year = "2008",
  booktitle = "Quantum Interaction 2008",
  editor = "Peter Bruza",
  note = "arxiv.org:0802.1296",
  publisher = "AAAI",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/qsearch.pdf",
}
@inproceedings{PavlovicD:CSR08,
  title = "Network as a computer: ranking paths to find flows",
  author = "Dusko Pavlovic",
  year = "2008",
  booktitle = "Proceedings of CSR 2008",
  editor = "Alexander Razborov and Anatol Slissenko",
  note = "arxiv.org:0802.1306",
  pages = "384--397",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/PathRank-short.pdf",
  volume = "5010",
}
@article{PavlovicD:Plotkinfest07,
  title = "Labelled Markov Processes as Generalised Stochastic Relations",
  author = "Michael Mislove and Dusko Pavlovic and James Worrell",
  year = "2007",
  address = "Amsterdam, The Netherlands, The Netherlands",
  issn = "1571-0661",
  journal = "Electron. Notes Theor. Comput. Sci.",
  pages = "459--478",
  publisher = "Elsevier Science Publishers B. V.",
  volume = "172",
  doi = "http://dx.doi.org/10.1016/j.entcs.2007.02.015",
}
@incollection{PavlovicD:QMWS,
  title = "Quantum measurements without sums",
  author = "B. Coecke and D. Pavlovic",
  year = "2007",
  booktitle = "Mathematics of Quantum Computing and Technology",
  editor = "G. Chen and L. Kauffman and S. Lamonaco",
  note = "arxiv.org/quant-ph/0608035",
  publisher = "Taylor and Francis",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/QMWS.pdf",
}
@techreport{RR-06-02,
  title = "Quantum measurements without sums",
  author = "Bob Coecke and Dusko Pavlovic",
  year = "2006",
  institution = "Oxford University Computing Laboratory",
  month = "July",
  number = "RR-06-02",
}
@inproceedings{PavlovicD:ICC06,
  title = "Deriving secure network protocols for enterprise service architectures",
  author = "Matthias Anlauff and Dusko Pavlovic and Asuman {S\"{u}nb\"{u}l}",
  year = "2006",
  booktitle = "Proceedings of {IEEE} Interrnational Conference on Communications",
  editor = "{B\"{u}lent} Yener and Refik Molva and Carlos Becker Westphall",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/ICC06.pdf",
}
@inproceedings{PavlovicD:AMAST06,
  title = "Testing semantics: Connecting processes and process logics",
  author = "Dusko Pavlovic and Michael Mislove and James Worrell",
  year = "2006",
  booktitle = "Proceedings of AMAST 2006",
  editor = "Michael Johnson and Varmo Vene",
  pages = "308--322",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST06.pdf",
  volume = "4019",
}
@inproceedings{PavlovicD:ARSPA06,
  title = "Proving Authentication Properties in the {Protocol Derivation Assistant}",
  author = "Matthias Anlauff and Dusko Pavlovic and Richard Waldinger and Stephen Westfold",
  year = "2006",
  booktitle = "Proceedings of FCS-ARSPA 2006",
  editor = "Pierpaolo Degano and Ralph {K\"{u}sters} and Luca Vigano",
  publisher = "ACM",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FCS-ARSPA06.pdf",
}
@inproceedings{PavlovicD:ESORICS06,
  title = "Deriving secrecy properties in key establishment protocols",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2006",
  booktitle = "Proceedings of ESORICS 2006",
  editor = "Dieter Gollmann and Andrei Sabelfeld",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/ESORICS06.pdf",
  volume = "4189",
}
@incollection{PavlovicD:dist06,
  title = "Distance bounding protocols: authentication logic analysis and collusion attacks",
  author = "Catherine Meadows and Radha Poovendran and Dusko Pavlovic and LiWu Chang and Paul Syverson",
  year = "2006",
  booktitle = "Secure Localization and Time Synchronization in Wireless Ad Hoc and Sensor Networks",
  editor = "R. Poovendran and C. Wang and S. Roy",
  isbn = "0-387-32721-5",
  publisher = "Springer Verlag",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/dist06.pdf",
}
@article{PavlovicD:JCS05,
  title = "A derivation system and compositional logic for security protocols",
  author = "Anupam Datta and Ante Derek and John Mitchell and Dusko Pavlovic",
  year = "2005",
  journal = "J. of Comp. Security",
  pages = "423--482",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/JCS05.pdf",
  volume = "13",
}
@inproceedings{PavlovicD:CSFW05,
  title = "An encapsulated authentication logic for reasoning about key distribution protocols",
  author = "Iliano Cervesato and Catherine Meadows and Dusko Pavlovic",
  year = "2005",
  booktitle = "Proceedings of CSFW 2005",
  editor = "Joshua Guttman",
  pages = "48--61",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW05.pdf",
}
@article{PavlovicD:JCS04,
  title = "A compositional logic for proving security properties of protocols",
  author = "Nancy Durgin and John Mitchell and Dusko Pavlovic",
  year = "2004",
  journal = "J. of Comp. Security",
  number = "4",
  pages = "677--721",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/JCS03.pdf",
  volume = "11",
}
@inproceedings{PavlovicD:FOSSACS04,
  title = "Duality for Labelled Markov Processes",
  author = "Michael Mislove and Joel Ouaknine and Dusko Pavlovic and James Worrell",
  year = "2004",
  booktitle = "Proceedings of FoSSaCS 2004",
  editor = "Igor Walukiewicz",
  pages = "393--407",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/DLMP.ps",
  volume = "2987",
}
@inproceedings{PavlovicD:ESORICS04,
  title = "Deriving, attacking and defending the {GDOI} protocol",
  author = "Catherine Meadows and Dusko Pavlovic",
  year = "2004",
  booktitle = "Proceedings of ESORICS 2004",
  editor = "Peter Ryan and Pierangela Samarati and Dieter Gollmann and Refik Molva",
  pages = "53--72",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/GDOI.ps",
  volume = "3193",
}
@inproceedings{PavlovicD:CSFW04,
  title = "Abstraction and refinement in protocol derivation",
  author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
  year = "2004",
  booktitle = "Proceedings of CSFW 2004",
  editor = "Riccardo Focardi",
  pages = "30--47",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW04.ps",
}
@inproceedings{PavlovicD:CSFW03,
  title = "A derivation system for security protocols and its logical formalization",
  author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
  year = "2003",
  booktitle = "Proceedings of CSFW 2003",
  editor = "Dennis Volpano",
  pages = "109--125",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW03.pdf",
}
@inproceedings{PavlovicD:FMSE03,
  title = "Secure protocol composition (extended abstract)",
  author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
  year = "2003",
  booktitle = "Proceedings of FMCS 2003",
  editor = "Michael Backes and David Basin and Michael Waidner",
  pages = "11--23",
  publisher = "ACM",
}
@article{PavlovicD:MFPS03,
  title = "Secure protocol composition",
  author = "Anupam Datta and Ante Derek and John Mitchell and Dusko Pavlovic",
  year = "2003",
  journal = "E. Notes in Theor. Comp. Sci.",
  pages = "87--114",
  url = "http://www1.elsevier.com/gej-ng/31/29/23/147/23/show/Products/notes/index.htt",
}
@inproceedings{PavlovicD:SDR,
  title = "Software development by refinement",
  author = "Dusko Pavlovic and Douglas R. Smith",
  year = "2003",
  booktitle = "Formal Methods at the Crossroads",
  editor = "Bernhard K. Aichernig and Tom Maibaum",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "2757",
}
@inproceedings{PavlovicD:ManaFest,
  title = "Colimits for Concurrent Collectors",
  author = "Dusko Pavlovic and Peter Pepper and Douglas R.~Smith",
  year = "2003",
  booktitle = "Verification --- Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday",
  editor = "Nachum Dershowitz",
  pages = "568--597",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "2772",
}
@article{PavlovicD:CRN1,
  title = "The continuum as a final coalgebra",
  author = "Dusko Pavlovic and Vaughan Pratt",
  year = "2002",
  journal = "Theor. Comp. Sci.",
  number = "1--2",
  pages = "105--122",
  volume = "280",
}
@techreport{PavlovicD:JFK,
  title = "Derivation of the JFK protocol",
  author = "Anupam Datta and John C. Mitchell and Dusko Pavlovic",
  year = "2002",
  institution = "Kestrel Institute",
  month = "jul",
  number = "KES.U.02.03",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/MIPv6.ps",
}
@techreport{PavlovicD:MIPv6,
  title = "Authentication for Mobile IPv6",
  author = "Anupam Datta and John C. Mitchell and Frederic Muller and Dusko Pavlovic",
  year = "2002",
  institution = "Kestrel Institute",
  month = "mar",
  number = "KES.U.02.02",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/MIPv6.ps",
}
@inproceedings{PavlovicD:AMAST02,
  title = "Guarded transitions in evolving specifications",
  author = "Dusko Pavlovic and Douglas R. Smith",
  year = "2002",
  booktitle = "Proceedings of AMAST 2002",
  editor = "H. Kirchner and C. Ringeissen",
  pages = "411--425",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/GTES.ps",
  volume = "2422",
}
@inproceedings{PavlovicD:IDPT02,
  title = "On Specification Carrying Software, its Refinement and Composition",
  author = "Matthias Anlauff and Dusko Pavlovic",
  year = "2002",
  booktitle = "Proceedings of IDPT 2002",
  editor = "H. Ehrig and B.J.~{Kr{\"a}mer} and A.~Ertas",
  publisher = "Society for Design and Process Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/IDPT.ps",
}
@inproceedings{PavlovicD:SSAS,
  title = "Towards semantics of self-adaptive software",
  author = "Du\v{s}ko Pavlovi\'c",
  year = "2001",
  booktitle = "Proceedings of the Workshop on Self-Adaptive Software",
  editor = "Paul Robertson and Howie Schrobe and Robert Laddaga",
  pages = "50--64",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/SSAS.ps",
  volume = "1936",
}
@inproceedings{PavlovicD:CSFW01,
  title = "A compositional logic for protocol correctness",
  author = "Nancy Durgin and John C. Mitchell and Dusko Pavlovic",
  year = "2001",
  booktitle = "Proceedings of CSFW 2001",
  editor = "Steve Schneider",
  pages = "241--255",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLPC.ps",
}
@techreport{PavlovicD:EPOXI,
  title = "EPOXI",
  author = "Dusko Pavlovic",
  year = "2001",
  institution = "Kestrel Institute",
  month = "jan",
  number = "KES.U.01.1",
}
@inproceedings{PavlovicD:FOSSACS01,
  title = "Categories of processes enriched in final coalgebras",
  author = "Sava Krsti/'c and John Launchbury and Dusko Pavlovi\'c",
  year = "2001",
  booktitle = "Proceedings of FoSSaCS 2001",
  editor = "Furio Honsell",
  pages = "303--317",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/HYP.ps",
  volume = "2030",
}
@inproceedings{PavlovicD:ASE01,
  title = "Composition and refinement of behavioral specifications",
  author = "Dusko Pavlovic and Douglas R. Smith",
  year = "2001",
  booktitle = "Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CRBS.ps",
}
@techreport{PavlovicD:LBF,
  title = "Logic of build fusion",
  author = "Dusko Pavlovic",
  year = "2000",
  institution = "Kestrel Institute",
  month = "dec",
  number = "KES.U.00.9",
}
@proceedings{PavlovicD:CTCS99,
  title = "CTCS '99, Conference on Category Theory and Computer Science, Edinburgh (UK), 10-12 September 1999",
  year = "1999",
  booktitle = "CTCS",
  editor = "Martin Hofmann and Giuseppe Rosolini and Dusko Pavlovic",
  publisher = "Elsevier",
  series = "Electronic Notes in Theoretical Computer Science",
  volume = "29",
}
@article{PavlovicD:CRN,
  title = "On coalgebra of real numbers",
  author = "Dusko Pavlovic and Vaughan Pratt",
  year = "1999",
  journal = "E. Notes in Theor. Comp. Sci.",
  pages = "133--148",
  url = "http://www.elsevier.nl/locate/entcs",
  volume = "19",
}
@inproceedings{PavlovicD:FOPS,
  title = "Semantics of first order parametric specifications",
  author = "Du\v{s}ko Pavlovi\'c",
  year = "1999",
  booktitle = "Formal Methods '99",
  editor = "J. Woodcock and J. Wing",
  pages = "155--172",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FOPS.ps",
  volume = "1708",
}
@inproceedings{PavlovicD:LAPL,
  title = "Calculus in coinductive form",
  author = "Dusko Pavlovi\'c and Mart\'{\i}n Escard\'o",
  year = "1998",
  booktitle = "Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science",
  editor = "V. Pratt",
  pages = "408--417",
  publisher = "IEEE Computer Society",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/LAPL.ps",
}
@article{PavlovicD:GIFC,
  title = "Guarded induction on final coalgebras",
  author = "Dusko Pavlovi\'c",
  year = "1998",
  journal = "E. Notes in Theor. Comp. Sci.",
  pages = "143--160",
  url = "http://www.elsevier.nl/locate/entcs",
  volume = "11",
}
@techreport{PavlovicD:GUA,
  title = "Towards semantics of guarded induction",
  author = "Dusko Pavlovi\'c",
  year = "1998",
  institution = "Kestrel Institute",
  month = "dec",
}
@article{PavlovicD:chuI,
  title = "Chu I: cofree equivalences, dualities and $\ast$-autonomous categories",
  author = "Dusko Pavlovic",
  year = "1997",
  journal = "Math. Structures in Comp. Sci.",
  number = "2",
  pages = "49--73",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/chuI.ps",
  volume = "7",
}
@article{PavlovicD:CLNA,
  title = "Categorical logic of names and abstraction in action calculus",
  author = "Dusko Pavlovic",
  year = "1997",
  journal = "Math. Structures in Comp. Sci.",
  pages = "619--637",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLNA.ps",
  volume = "7",
}
@inproceedings{PavlovicD:SIC,
  title = "Specifying Interaction Categories",
  author = "Dusko Pavlovic and Samson Abramsky",
  year = "1997",
  booktitle = "Category Theory and Computer Science '97",
  editor = "E.~Moggi and G.~Rosolini",
  pages = "147--158",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/SIC.ps",
  volume = "1290",
}
@article{PavlovicD:mapsII,
  title = "Maps {II}: Chasing diagrams in categorical proof theory",
  author = "Dusko Pavlovic",
  year = "1996",
  journal = "J. of the IGPL",
  number = "2",
  pages = "1--36",
  url = "http://www.dcs.kcl.ac.uk/journals/IGPL/V4-2/",
  volume = "4",
}
@inproceedings{PavlovicD:CCPS2,
  title = "Convenient categories of processes and simulations {II}: modulo weak and branching bisimilarities",
  author = "Dusko Pavlovic",
  year = "1996",
  booktitle = "Theory and Formal Methods of Computing 96",
  editor = "A.~Edalat et al.",
  pages = "156--167",
  publisher = "World Scientific",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CCPS2.ps",
}
@article{PavlovicD:completeness,
  title = "On completeness and cocompleteness in and around small categories",
  author = "Dusko Pavlovic",
  year = "1995",
  journal = "Annals Pure Appl. Logic",
  pages = "121--152",
  volume = "74",
}
@article{PavlovicD:mapsI,
  title = "Maps {I}: relative to a factorisation system",
  author = "Dusko Pavlovic",
  year = "1995",
  journal = "J.~Pure Appl. Algebra",
  pages = "9--34",
  url = "ftp://triples.math.mcgill.ca/pub/pavlovic/mapsI.ps",
  volume = "99",
}
@article{PavlovicD:4c,
  title = "A categorical setting for the 4-Colour Theorem",
  author = "Dusko Pavlovic",
  year = "1995",
  journal = "J.~Pure Appl. Algebra",
  pages = "75--88",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/4c.ps",
  volume = "102",
}
@inproceedings{PavlovicD:CCPS1,
  title = "Convenient categories of processes and simulations {I}: modulo strong bisimilarity",
  author = "Dusko Pavlovic",
  year = "1995",
  booktitle = "Category Theory and Computer Science '95",
  editor = "D.~Pitt et al.",
  pages = "3--24",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CCPS1.ps",
  volume = "953",
}
@inproceedings{PavlovicD:CLCI,
  title = "Categorical logic of concurrency and interaction {I}. Synchronous processes",
  author = "Dusko Pavlovic",
  year = "1995",
  booktitle = "Theory and Formal Methods of Computing 94",
  editor = "C.~Hankin et al.",
  pages = "105--141",
  publisher = "World Scientific",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLCI.ps",
}
@article{PavlovicD:paradoxes,
  title = "On the structure of paradoxes",
  author = "Dusko Pavlovic",
  year = "1992",
  journal = "Arch. Math. Logic",
  pages = "397--406",
  volume = "31",
}
@inproceedings{PavlovicD:LAFT,
  title = "A logical view on the Adjoint Functor Theorem",
  author = "Dusko Pavlovic",
  year = "1992",
  booktitle = "Category Theory 1991, Proceedings of an International Summer Category Theory Meeting",
  editor = "R.A.G.~Seely",
  pages = "361--367",
  publisher = "American Mathematical Society",
  series = "CMS Conference Proceedings",
  volume = "13",
}
@inproceedings{PavlovicD:constructions,
  title = "Constructions and predicates",
  author = "Dusko Pavlovic",
  year = "1991",
  booktitle = "Category Theory and Computer Science '91",
  editor = "D.~Pitt et al.",
  pages = "173--197",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "530",
}
@inproceedings{PavlovicD:interpolation,
  title = "Categorical interpolation: descent and the Beck-Chevalley condition without direct images",
  author = "Dusko Pavlovic",
  year = "1991",
  booktitle = "Category Theory, Proceedings, Como 1990",
  editor = "A.~Carboni et al.",
  pages = "306--326",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Mathematics",
  volume = "1488",
}
@phdthesis{PavlovicD:thesis,
  title = "Predicates and Fibrations",
  author = "Dusko Pavlovic",
  year = "1990",
  school = "Rijksuniversiteit Utrecht",
}