@inbook(Aceto:11:BookChapter, author = "L. Aceto and A. Ingolfsdottir and J. Srba", year = "2011", title = "Advanced Topics in Bisimulation and Coinduction", chapter = "The Algorithmics of Bisimilarity", pages = "100--172", publisher = "Cambridge University Press", doi = "10.1017/CBO9780511792588", ) @inproceedings(Aristizabal:11:FOSSACS, author = "Andres Aristizabal and Filippo Bonchi and Catuscia Palamidessi and Luis Pino and Frank D. Valencia", year = "2011", title = "Deriving Labels and Bisimilarity for Concurrent Constraint Programming", booktitle = "FOSSACS", series = "LNCS", publisher = "Springer", pages = "138--152", doi = "10.1007/978-3-642-19805-2\_10", ) @inproceedings(Aristizabal:12:SAC, author = "Andres Aristizabal and Filippo Bonchi and Luis Pino and Frank D. Valencia", year = "2012", title = "Partition Refinement for Bisimilarity in CCP", booktitle = "SAC", publisher = "ACM", pages = "88--93", doi = "10.1145/2245276.2245296", ) @article(Baldan:07:TCS, author = "Paolo Baldan and Andrea Bracciali and Roberto Bruni", year = "2007", title = "A semantic framework for open processes", journal = "Theor. Comput. Sci.", volume = "389", number = "3", pages = "446--483", doi = "10.1016/j.tcs.2007.09.004", ) @article(Boer:95:TCS, author = "Frank S. de Boer and Alessandra Di Pierro and Catuscia Palamidessi", year = "1995", title = "Nondeterminism and Infinite Computations in Constraint Programming", journal = "Theor. Comput. Sci.", volume = "151", number = "1", pages = "37--78", doi = "10.1016/0304-3975(95)00047-Z", ) @inproceedings(Bonchi:09:FOSSACS, author = "Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale", year = "2009", title = "Reactive Systems, Barbed Semantics, and the Mobile Ambients", booktitle = "FOSSACS", series = "LNCS", pages = "272--287", doi = "10.1007/978-3-642-00596-1\_20", ) @inproceedings(Bonchi:06:LICS, author = "Filippo Bonchi and Barbara K{\"o}nig and Ugo Montanari", year = "2006", title = "Saturated Semantics for Reactive Systems", booktitle = "LICS", publisher = "IEEE", pages = "69--80", doi = "10.1109/LICS.2006.46", ) @inproceedings(Bonchi:09:ESOP, author = "Filippo Bonchi and Ugo Montanari", year = "2009", title = "Minimization Algorithm for Symbolic Bisimilarity", booktitle = "ESOP", series = "LNCS", publisher = "Springer", pages = "267--284", doi = "10.1007/978-3-642-00590-9\_20", ) @inproceedings(Bruni:05:CONCUR, author = "Roberto Bruni and Fabio Gadducci and Ugo Montanari and Pawel Sobocinski", year = "2005", title = "Deriving Weak Bisimulation Congruences from Reduction Systems", booktitle = "CONCUR", series = "LNCS", pages = "293--307", doi = "10.1007/11539452\_24", ) @inproceedings(DBLP:conf/concur/BruniMM11, author = "Roberto Bruni and Hern{\'a}n C. Melgratti and Ugo Montanari", year = "2011", title = "A Connector Algebra for P/T Nets Interactions", booktitle = "CONCUR", series = "LNCS", publisher = "Springer", pages = "312--326", doi = "10.1007/978-3-642-23217-6\_21", ) @article(Fernandez:89:SCP, author = "Jean-Claude Fernandez", year = "1989", title = "An Implementation of an Efficient Algorithm for Bisimulation Equivalence", journal = "Sci. Comput. Program.", volume = "13", number = "1", pages = "219--236", doi = "10.1016/0167-6423(90)90071-K", ) @inproceedings(Ferrari:98:CAV, author = "G.L. Ferrari and S. Gnesi and U. Montanari and M. Pistore and G. Ristori", year = "1998", title = "Verifying Mobile Processes in the HAL Environment", booktitle = "CAV", publisher = "Springer", pages = "511--515", doi = "10.1007/BFb0028772", ) @inproceedings(DBLP:conf/birthday/GadducciM00, author = "Fabio Gadducci and Ugo Montanari", year = "2000", title = "The tile model", booktitle = "Proof, Language, and Interaction", publisher = "The MIT Press", pages = "133--166", ) @phdthesis(Jensen, author = "O. H. Jensen.", year = "2006", title = "Mobile Processes in Bigraphs", school = "University of Cambridge", ) @inproceedings(Kanellakis:83:PODC, author = "Paris C. Kanellakis and Scott A. Smolka", year = "1983", title = "CCS Expressions, Finite State Processes, and Three Problems of Equivalence", booktitle = "PODC", publisher = "ACM", pages = "228--240", doi = "10.1145/800221.806724", ) @techreport(eccp-extended-version, author = "Sophia Knight and Catuscia Palamidessi and Prakash Panangaden and Frank D. Valencia", year = "2012", title = "Spatial Information Distribution in Constraint-based Process Calculi (Extended Version)", type = "Technical Report", institution = "INRIA", ) @article(DBLP:journals/iandc/LanesePSS11, author = "Ivan Lanese and Jorge A. P{\'e}rez and Davide Sangiorgi and Alan Schmitt", year = "2011", title = "On the expressiveness and decidability of higher-order process calculi", journal = "Inf. Comput.", volume = "209", number = "2", pages = "198--226", doi = "10.1016/j.ic.2010.10.001", ) @article(Mendler:95:NJC, author = "N. P. Mendler and Prakash Panangaden and Philip J. Scott and R. A. G. Seely", year = "1995", title = "A Logical View of Concurrent Constraint Programming", journal = "Nord. J. Comput.", volume = "2", number = "2", pages = "181--220", ) @book(Milner:80:Book, author = "Robin Milner", year = "1980", title = "A Calculus of Communicating Systems", series = "Lecture Notes in Computer Science", volume = "92", publisher = "Springer-Verlag New York, Inc.", doi = "10.1007/3-540-10235-3", ) @book(Milner:99:Book, author = "Robin Milner", year = "1999", title = "Communicating and mobile systems: the {$\pi $}-calculus", publisher = "Cambridge University Press", ) @inproceedings(Milner:92:ICALP, author = "Robin Milner and Davide Sangiorgi", year = "1992", title = "Barbed Bisimulation", booktitle = "ICALP", series = "LNCS", publisher = "Springer", pages = "685--695", doi = "10.1007/3-540-55719-9\_114", ) @inproceedings(Olarte:08:SAC, author = "Carlos Olarte and Frank D. Valencia", year = "2008", title = "Universal concurrent constraint programing: symbolic semantics and applications to security", booktitle = "SAC", publisher = "ACM", pages = "145--150", doi = "10.1145/1363686.1363726", ) @inproceedings(Palamidessi:01:CP, author = "Catuscia Palamidessi and Frank D. Valencia", year = "2001", title = "A Temporal Concurrent Constraint Programming Calculus", booktitle = "CP", series = "LNCS", publisher = "Springer", pages = "302--316", doi = "10.1007/3-540-45578-7\_21", ) @book(Sangiorgi:12:Book, author = "Davide Sangiorgi and Jan Rutten", year = "2012", title = "Advanced Topics in Bisimulation and Coinduction", publisher = "Cambridge University Press", doi = "10.1017/CBO9780511792588", ) @inproceedings(Saraswat:94:LICS, author = "Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta", year = "1994", title = "Foundations of Timed Concurrent Constraint Programming", booktitle = "LICS", publisher = "IEEE", pages = "71--80", doi = "10.1109/LICS.1994.316085", ) @inproceedings(Saraswat:90:POPL, author = "Vijay A. Saraswat and Martin C. Rinard", year = "1990", title = "Concurrent Constraint Programming", booktitle = "POPL", publisher = "ACM Press", pages = "232--245", doi = "10.1145/96709.96733", ) @inproceedings(Saraswat:91:POPL, author = "Vijay A. Saraswat and Martin C. Rinard and Prakash Panangaden", year = "1991", title = "Semantic Foundations of Concurrent Constraint Programming", booktitle = "POPL", publisher = "ACM Press", pages = "333--352", doi = "10.1145/99583.99627", ) @inproceedings(DBLP:conf/concur/Sobocinski10, author = "Pawel Sobocinski", year = "2010", title = "Representations of Petri Net Interactions", booktitle = "CONCUR", series = "LNCS", publisher = "Springer", pages = "554--568", doi = "10.1007/978-3-642-15375-4\_38", ) @inproceedings(Sobocinski12, author = "Pawel Sobocinski", year = "2012", title = "Relational presheaves as labelled transition systems", booktitle = "In proceedings CMCS", series = "To appear in LNCS", doi = "10.1007/978-3-642-32784-1\_3", ) @inproceedings(Victor:94:CAV, author = "Bj{\"o}rn Victor and Faron Moller", year = "1994", title = "The Mobility Workbench - A Tool for the pi-Calculus", booktitle = "CAV", series = "LNCS", publisher = "Springer", pages = "428--440", doi = "10.1007/3-540-58179-0\_73", )