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