Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Bayesian network semantics for Petri nets. (English) Zbl 1436.68207 Theor. Comput. Sci. 807, 95-113 (2020). MSC: 68Q85 18M05 68Q87 PDFBibTeX XMLCite \textit{R. Bruni} et al., Theor. Comput. Sci. 807, 95--113 (2020; Zbl 1436.68207) Full Text: DOI Link
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Concurrency and probability: removing confusion, compositionally. (English) Zbl 1427.68186 Log. Methods Comput. Sci. 15, No. 4, Paper No. 17, 39 p. (2019). MSC: 68Q85 68Q10 68Q87 PDFBibTeX XMLCite \textit{R. Bruni} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 17, 39 p. (2019; Zbl 1427.68186) Full Text: arXiv
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Concurrency and probability: removing confusion, compositionally. (English) Zbl 1497.68329 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 195-204 (2018). MSC: 68Q85 68Q10 68Q87 PDFBibTeX XMLCite \textit{R. Bruni} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 195--204 (2018; Zbl 1497.68329) Full Text: DOI
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo Event structures for Petri nets with persistence. (English) Zbl 1417.68113 Log. Methods Comput. Sci. 14, No. 3, Paper No. 25, 30 p. (2018). Reviewer: Clément Aubert (Augusta) MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{P. Baldan} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 25, 30 p. (2018; Zbl 1417.68113) Full Text: DOI arXiv
Bruni, Roberto; Montanari, Ugo Models of computation. (English) Zbl 1480.68001 Texts in Theoretical Computer Science. An EATCS Series. Cham: Springer (ISBN 978-3-319-42898-7/hbk; 978-3-319-82689-9/pbk; 978-3-319-42900-7/ebook). xxii, 395 p. (2017). MSC: 68-01 68N15 68N30 68Q04 68Q10 68Q55 68Q85 68Q87 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Models of computation. Cham: Springer (2017; Zbl 1480.68001) Full Text: DOI
Ayala-Rincón, Mauricio (ed.); Mackie, Ian (ed.); Montanari, Ugo (ed.) Preface: Logical and semantic frameworks with applications. (English) Zbl 1372.00083 Theor. Comput. Sci. 685, 1-2 (2017). MSC: 00B25 68-06 03B70 68Q85 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} (ed.) et al., Theor. Comput. Sci. 685, 1--2 (2017; Zbl 1372.00083) Full Text: DOI
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo Asynchronous distributed execution of fixpoint-based computational fields. (English) Zbl 1398.68369 Log. Methods Comput. Sci. 13, No. 1, Paper No. 13, 46 p. (2017). MSC: 68Q85 03B70 68W15 PDFBibTeX XMLCite \textit{A. Lluch Lafuente} et al., Log. Methods Comput. Sci. 13, No. 1, Paper No. 13, 46 p. (2017; Zbl 1398.68369) Full Text: DOI arXiv
Montanari, Ugo; Sammartino, Matteo Network-conscious \(\pi\)-calculus – a model of Pastry. (English) Zbl 1342.68236 Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 3-17, electronic only (2015). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{U. Montanari} and \textit{M. Sammartino}, Electron. Notes Theor. Comput. Sci. 312, 3--17 (2015; Zbl 1342.68236) Full Text: DOI
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo cJoin: Join with communicating transactions. (English) Zbl 1361.68060 Math. Struct. Comput. Sci. 25, No. 3, 566-618 (2015). MSC: 68N30 68N20 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Math. Struct. Comput. Sci. 25, No. 3, 566--618 (2015; Zbl 1361.68060) Full Text: DOI
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo Causal trees, finally. (English) Zbl 1434.68323 Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 27-43 (2015). MSC: 68Q85 18C50 68Q45 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 9465, 27--43 (2015; Zbl 1434.68323) Full Text: DOI Link
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo A coalgebraic semantics for causality in Petri nets. (English) Zbl 1330.68196 J. Log. Algebr. Methods Program. 84, No. 6, 853-883 (2015). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{R. Bruni} et al., J. Log. Algebr. Methods Program. 84, No. 6, 853--883 (2015; Zbl 1330.68196) Full Text: DOI arXiv
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo A normal form for stateful connectors. (English) Zbl 1321.68357 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 205-227 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 9200, 205--227 (2015; Zbl 1321.68357) Full Text: DOI Link
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo Revisiting causality, coalgebraically. (English) Zbl 1307.68053 Acta Inf. 52, No. 1, 5-33 (2015). MSC: 68Q85 68Q55 18F20 68Q65 PDFBibTeX XMLCite \textit{R. Bruni} et al., Acta Inf. 52, No. 1, 5--33 (2015; Zbl 1307.68053) Full Text: DOI Link
Montanari, Ugo (ed.) Foreword: Special issue on structure transformation. (English) Zbl 1342.00017 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240401, 4 p. (2014). MSC: 00B15 68-06 68Q42 68Q85 PDFBibTeX XMLCite \textit{U. Montanari} (ed.), Math. Struct. Comput. Sci. 24, No. 4, Article ID e240401, 4 p. (2014; Zbl 1342.00017) Full Text: DOI
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. (English) Zbl 1320.68125 Fundam. Inform. 134, No. 3-4, 287-317 (2014). MSC: 68Q85 68R10 PDFBibTeX XMLCite \textit{R. Bruni} et al., Fundam. Inform. 134, No. 3--4, 287--317 (2014; Zbl 1320.68125) Full Text: DOI
Montanari, Ugo; Sammartino, Matteo A network-conscious \(\pi\)-calculus and its coalgebraic semantics. (English) Zbl 1342.68234 Theor. Comput. Sci. 546, 188-224 (2014). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{U. Montanari} and \textit{M. Sammartino}, Theor. Comput. Sci. 546, 188--224 (2014; Zbl 1342.68234) Full Text: DOI
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel Connector algebras for C/E and P/T nets’ interactions. (English) Zbl 1274.68224 Log. Methods Comput. Sci. 9, No. 3, Paper No. 16, 65 p. (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 16, 65 p. (2013; Zbl 1274.68224) Full Text: DOI arXiv
Montanari, Ugo; Sammartino, Matteo Network conscious \(\pi\)-calculus: a concurrent semantics. (English) Zbl 1342.68235 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 291-306 (2012). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{U. Montanari} and \textit{M. Sammartino}, Electron. Notes Theor. Comput. Sci. 286, 291--306 (2012; Zbl 1342.68235) Full Text: DOI
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Connector algebras, Petri nets, and BIP. (English) Zbl 1336.68006 Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 19-38 (2012). MSC: 68M07 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 7162, 19--38 (2012; Zbl 1336.68006) Full Text: DOI
Gadducci, Fabio; Monreale, Giacoma Valentina; Montanari, Ugo A modular LTS for open reactive systems. (English) Zbl 1362.68212 Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 134-148 (2012). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{F. Gadducci} et al., Lect. Notes Comput. Sci. 7604, 134--148 (2012; Zbl 1362.68212) Full Text: DOI
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo A connector algebra for P/T nets interactions. (English) Zbl 1344.68161 Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 312-326 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 6901, 312--326 (2011; Zbl 1344.68161) Full Text: DOI
Bonchi, Filippo; Montanari, Ugo Symbolic and asynchronous semantics via normalized coalgebras. (English) Zbl 1213.68400 Log. Methods Comput. Sci. 7, No. 2, Paper No. 7, 53 p. (2011). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Log. Methods Comput. Sci. 7, No. 2, Paper No. 7, 53 p. (2011; Zbl 1213.68400) Full Text: DOI
Buscemi, Maria Grazia; Montanari, Ugo QoS negotiation in service composition. (English) Zbl 1207.68220 J. Log. Algebr. Program. 80, No. 1, 13-24 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. G. Buscemi} and \textit{U. Montanari}, J. Log. Algebr. Program. 80, No. 1, 13--24 (2011; Zbl 1207.68220) Full Text: DOI
Ciancia, Vincenzo; Montanari, Ugo Symmetries, local names and dynamic (de)-allocation of names. (English) Zbl 1207.68223 Inf. Comput. 208, No. 12, 1349-1367 (2010). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{V. Ciancia} and \textit{U. Montanari}, Inf. Comput. 208, No. 12, 1349--1367 (2010; Zbl 1207.68223) Full Text: DOI
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina; Montanari, Ugo Saturated LTSs for adhesive rewriting systems. (English) Zbl 1306.68064 Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 123-138 (2010). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 6372, 123--138 (2010; Zbl 1306.68064) Full Text: DOI
Bonchi, Filippo; Montanari, Ugo Coalgebraic symbolic semantics. (English) Zbl 1239.68049 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 173-190 (2009). MSC: 68Q85 68Q55 68Q65 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 5728, 173--190 (2009; Zbl 1239.68049) Full Text: DOI
Bonchi, Filippo; Montanari, Ugo Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. (English) Zbl 1186.68315 Theor. Comput. Sci. 410, No. 41, 4044-4066 (2009). MSC: 68Q85 68N17 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Theor. Comput. Sci. 410, No. 41, 4044--4066 (2009; Zbl 1186.68315) Full Text: DOI
Bonchi, Filippo; Montanari, Ugo Minimization algorithm for symbolic bisimilarity. (English) Zbl 1234.68288 Castagna, Giuseppe (ed.), Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00589-3/pbk). Lecture Notes in Computer Science 5502, 267-284 (2009). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 5502, 267--284 (2009; Zbl 1234.68288) Full Text: DOI Link
Bonchi, Filippo; Montanari, Ugo A coalgebraic theory of reactive systems. (English) Zbl 1279.68249 Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 201-215 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Electron. Notes Theor. Comput. Sci. 209, 201--215 (2008; Zbl 1279.68249) Full Text: DOI
Bonchi, Filippo; Montanari, Ugo G-reactive systems as coalgebras. (English) Zbl 1277.68163 Ehrig, H. (ed.) et al., Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 6, 3-17 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Electron. Notes Theor. Comput. Sci. 203, No. 6, 3--17 (2008; Zbl 1277.68163) Full Text: DOI
Buscemi, Maria Grazia; Montanari, Ugo Open bisimulation for the concurrent constraint pi-calculus. (English) Zbl 1133.68384 Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 254-268 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. G. Buscemi} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 4960, 254--268 (2008; Zbl 1133.68384) Full Text: DOI
Bonchi, Filippo; Montanari, Ugo Symbolic semantics revisited. (English) Zbl 1139.68039 Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 395-412 (2008). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 4962, 395--412 (2008; Zbl 1139.68039) Full Text: DOI
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo Modelling calculi with name mobility using graphs with equivalences. (English) Zbl 1278.68211 Mackie, Ian (ed.), Proceedings of the 3rd international workshop on term graph rewriting (TERMGRAPH 2006), Vienna, Austria, April 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 1, 85-97 (2007). MSC: 68Q85 68Q42 68R10 PDFBibTeX XMLCite \textit{P. Baldan} et al., Electron. Notes Theor. Comput. Sci. 176, No. 1, 85--97 (2007; Zbl 1278.68211) Full Text: DOI
Bonchi, Filippo; Montanari, Ugo Coalgebraic models for reactive systems. (English) Zbl 1151.68507 Caires, Luís (ed.) et al., CONCUR 2007 – concurrency theory. 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74406-1/pbk). Lecture Notes in Computer Science 4703, 364-379 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 4703, 364--379 (2007; Zbl 1151.68507) Full Text: DOI
Mossakowski, Till (ed.); Montanari, Ugo (ed.); Haveraaen, Magne (ed.) Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. (English) Zbl 1123.68007 Lecture Notes in Computer Science 4624. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). xi, 463 p. (2007). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{T. Mossakowski} (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20--24, 2007. Proceedings. Berlin: Springer (2007; Zbl 1123.68007) Full Text: DOI
Buscemi, Maria Grazia; Montanari, Ugo cc-pi: a constraint-based language for specifying service level agreements. (English) Zbl 1187.68063 De Nicola, Rocco (ed.), Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71314-2/pbk). Lecture Notes in Computer Science 4421, 18-32 (2007). MSC: 68M11 68M10 68N30 68Q85 PDFBibTeX XMLCite \textit{M. G. Buscemi} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 4421, 18--32 (2007; Zbl 1187.68063) Full Text: DOI
Buscemi, Maria Grazia; Montanari, Ugo A compositional coalgebraic model of fusion calculus. (English) Zbl 1121.68078 J. Log. Algebr. Program. 72, No. 1, 78-97 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. G. Buscemi} and \textit{U. Montanari}, J. Log. Algebr. Program. 72, No. 1, 78--97 (2007; Zbl 1121.68078) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila Unfolding semantics of graph transformation. (English) Zbl 1115.68093 Inf. Comput. 205, No. 5, 733-782 (2007). MSC: 68Q42 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 205, No. 5, 733--782 (2007; Zbl 1115.68093) Full Text: DOI
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca Soft concurrent constraint programming. (English) Zbl 1367.68315 ACM Trans. Comput. Log. 7, No. 3, 563-589 (2006). MSC: 68T37 68Q85 PDFBibTeX XMLCite \textit{S. Bistarelli} et al., ACM Trans. Comput. Log. 7, No. 3, 563--589 (2006; Zbl 1367.68315) Full Text: DOI arXiv
Buscemi, Maria Grazia; Montanari, Ugo A compositional coalgebraic model of a fragment of fusion calculus. (English) Zbl 1316.68090 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 135-139 (2006). MSC: 68Q85 68Q42 68Q65 PDFBibTeX XMLCite \textit{M. G. Buscemi} and \textit{U. Montanari}, Electron. Notes Theor. Comput. Sci. 162, 135--139 (2006; Zbl 1316.68090) Full Text: DOI
Lanese, Ivan; Montanari, Ugo Hoare vs Milner: comparing synchronizations in a graphical framework with mobility. (English) Zbl 1273.68193 Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for verification and concurrency (GT-VC 2005), San Francisco, CA, USA, August 22, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 154, No. 2, 55-72 (2006). MSC: 68Q42 68Q85 68Q60 PDFBibTeX XMLCite \textit{I. Lanese} and \textit{U. Montanari}, Electron. Notes Theor. Comput. Sci. 154, No. 2, 55--72 (2006; Zbl 1273.68193) Full Text: Link
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio Synchronised hyperedge replacement as a model for service oriented computing. (English) Zbl 1196.68025 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Berlin: Springer (ISBN 3-540-36749-7/pbk). Lecture Notes in Computer Science 4111, 22-43 (2006). MSC: 68M14 05C65 68Q42 68Q85 PDFBibTeX XMLCite \textit{G. L. Ferrari} et al., Lect. Notes Comput. Sci. 4111, 22--43 (2006; Zbl 1196.68025) Full Text: DOI
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo Concurrent rewriting for graphs with equivalences. (English) Zbl 1151.68503 Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 279-294 (2006). MSC: 68Q85 68Q42 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 4137, 279--294 (2006; Zbl 1151.68503) Full Text: DOI
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Event structure semantics for nominal calculi. (English) Zbl 1151.68512 Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 295-309 (2006). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 4137, 295--309 (2006; Zbl 1151.68512) Full Text: DOI
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo A basic algebra of stateless connectors. (English) Zbl 1153.68331 Theor. Comput. Sci. 366, No. 1-2, 98-120 (2006). MSC: 68M14 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Theor. Comput. Sci. 366, No. 1--2, 98--120 (2006; Zbl 1153.68331) Full Text: DOI
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo About permutation algebras, (pre)sheaves and named sets. (English) Zbl 1105.68083 High.-Order Symb. Comput. 19, No. 2-3, 283-304 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Gadducci} et al., High.-Order Symb. Comput. 19, No. 2--3, 283--304 (2006; Zbl 1105.68083) Full Text: DOI
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Theoretical foundations for compensations in flow composition languages. (English) Zbl 1369.68070 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 209-220 (2005). MSC: 68N15 68Q55 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 209--220 (2005; Zbl 1369.68070) Full Text: DOI
Lanese, Ivan; Montanari, Ugo Synchronization algebras with mobility for graph transformations. (English) Zbl 1272.68310 Rathke, Julian (ed.), Proceedings of the workshop on the foundations of global ubiquitous computing (FGUC 2004), London, UK, September 3–4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 138, No. 1, 43-60 (2005). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{I. Lanese} and \textit{U. Montanari}, Electron. Notes Theor. Comput. Sci. 138, No. 1, 43--60 (2005; Zbl 1272.68310) Full Text: Link
Gadducci, Fabio; Montanari, Ugo Observing reductions in nominal calculi via a graphical encoding of processes. (English) Zbl 1171.68572 Middeldorp, Aart (ed.) et al., Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-30911-X/pbk). Lecture Notes in Computer Science 3838, 106-126 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Gadducci} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 3838, 106--126 (2005; Zbl 1171.68572) Full Text: DOI
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo A general name binding mechanism. (English) Zbl 1151.68508 De Nicola, Rocco (ed.) et al., Trustworthy global computing. International symposium, TGC 2005, Edinburgh, UK, April 7–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-30007-4/pbk). Lecture Notes in Computer Science 3705, 61-74 (2005). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{M. Boreale} et al., Lect. Notes Comput. Sci. 3705, 61--74 (2005; Zbl 1151.68508) Full Text: DOI
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo Comparing two approaches to compensable flow composition. (English) Zbl 1134.68316 Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 383-397 (2005). MSC: 68M14 68Q85 68U35 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 3653, 383--397 (2005; Zbl 1134.68316) Full Text: DOI
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł Deriving weak bisimulation congruences from reduction systems. (English) Zbl 1134.68428 Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 293-307 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 3653, 293--307 (2005; Zbl 1134.68428) Full Text: DOI
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane Modelling fusion calculus using HD-automata. (English) Zbl 1151.68527 Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 142-156 (2005). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{G. Ferrari} et al., Lect. Notes Comput. Sci. 3629, 142--156 (2005; Zbl 1151.68527) Full Text: DOI
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo Complete axioms for stateless connectors. (English) Zbl 1151.68511 Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 98-113 (2005). MSC: 68Q85 68M14 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 3629, 98--113 (2005; Zbl 1151.68511) Full Text: DOI
Gadducci, Fabio; Montanari, Ugo Graph processes with fusions: Concurrency by colimits, again. (English) Zbl 1075.68058 Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 84-100 (2005). MSC: 68Q85 68Q42 18A30 18C50 PDFBibTeX XMLCite \textit{F. Gadducci} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 3393, 84--100 (2005; Zbl 1075.68058) Full Text: DOI
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio Model checking for nominal calculi. (English) Zbl 1119.68115 Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 1-24 (2005). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{G. L. Ferrari} et al., Lect. Notes Comput. Sci. 3441, 1--24 (2005; Zbl 1119.68115) Full Text: DOI
Montanari, Ugo; Pistore, Marco Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. (English) Zbl 1077.68065 Theor. Comput. Sci. 340, No. 3, 539-576 (2005). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{U. Montanari} and \textit{M. Pistore}, Theor. Comput. Sci. 340, No. 3, 539--576 (2005; Zbl 1077.68065) Full Text: DOI
Kreowski, Hans-Jörg (ed.); Montanari, Ugo (ed.); Orejas, Fernando (ed.); Rozenberg, Grzegorz (ed.); Taentzer, Gabriele (ed.) Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. (English) Zbl 1069.68009 Lecture Notes in Computer Science 3393. Berlin: Springer (ISBN 3-540-24936-2/pbk). xxvii, 413 p. (2005). MSC: 68-06 68Qxx 00B30 PDFBibTeX XMLCite \textit{H.-J. Kreowski} (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (2005; Zbl 1069.68009) Full Text: DOI
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro Observational congruences for dynamically reconfigurable tile systems. (English) Zbl 1080.68075 Theor. Comput. Sci. 335, No. 2-3, 331-372 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Theor. Comput. Sci. 335, No. 2--3, 331--372 (2005; Zbl 1080.68075) Full Text: DOI Link
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. (English) Zbl 1070.68102 Theor. Comput. Sci. 331, No. 2-3, 325-365 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Ferrari} et al., Theor. Comput. Sci. 331, No. 2--3, 325--365 (2005; Zbl 1070.68102) Full Text: DOI
Bruni, Roberto; Meseguer, José; Montanari, Ugo Tiling transactions in rewriting logic. (English) Zbl 1272.68291 Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 90-109 (2004). MSC: 68Q85 68Q42 03B70 PDFBibTeX XMLCite \textit{R. Bruni} et al., Electron. Notes Theor. Comput. Sci. 71, 90--109 (2004; Zbl 1272.68291) Full Text: Link
Montanari, Ugo Web services and models of computation. (English) Zbl 1271.68068 Bravetti, M. (ed.) et al., Proceedings of the first international workshop on web services and formal methods (WSFM 2004), Pisa, Italy, February 23–24, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 105, 5-9 (2004). MSC: 68M11 68Q05 68Q85 PDFBibTeX XMLCite \textit{U. Montanari}, Electron. Notes Theor. Comput. Sci. 105, 5--9 (2004; Zbl 1271.68068) Full Text: Link
Lanese, Ivan; Montanari, Ugo A graphical fusion calculus. (English) Zbl 1271.68188 Honsell, F. (ed.) et al., Proceedings of the workshop of the COMETA project on computational metamodels, Udine, Italy, December, 15–17, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 104, 199-215 (2004). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{I. Lanese} and \textit{U. Montanari}, Electron. Notes Theor. Comput. Sci. 104, 199--215 (2004; Zbl 1271.68188) Full Text: Link
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo Some characterization results for permutation algebras. (English) Zbl 1271.68148 Honsell, F. (ed.) et al., Proceedings of the workshop of the COMETA project on computational metamodels, Udine, Italy, December, 15–17, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 104, 129-147 (2004). MSC: 68Q65 68Q85 PDFBibTeX XMLCite \textit{F. Gadducci} et al., Electron. Notes Theor. Comput. Sci. 104, 129--147 (2004; Zbl 1271.68148) Full Text: Link
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Flat committed join in join. (English) Zbl 1271.68170 Honsell, F. (ed.) et al., Proceedings of the workshop of the COMETA project on computational metamodels, Udine, Italy, December, 15–17, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 104, 39-59 (2004). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{R. Bruni} et al., Electron. Notes Theor. Comput. Sci. 104, 39--59 (2004; Zbl 1271.68170) Full Text: Link
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. (English) Zbl 1088.68120 Desel, Jörg (ed.) et al., Lectures on concurrency and Petri nets. Advances in Petri nets. Berlin: Springer (ISBN 3-540-22261-8/pbk). Lecture Notes in Computer Science 3098, 291-327 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 3098, 291--327 (2004; Zbl 1088.68120) Full Text: DOI
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo D-fusion: A distinctive fusion calculus. (English) Zbl 1116.68540 Chin, Wei-Ngan (ed.), Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4–6, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23724-0/pbk). Lecture Notes in Computer Science 3302, 296-310 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Boreale} et al., Lect. Notes Comput. Sci. 3302, 296--310 (2004; Zbl 1116.68540) Full Text: DOI
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo New insights of architectural connectors. (English) Zbl 1094.68009 Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 367-379 (2004). MSC: 68M14 PDFBibTeX XMLCite \textit{R. Bruni} et al., IFIP, Int. Fed. Inf. Process. 155, 367--379 (2004; Zbl 1094.68009)
Bruni, Roberto; Montanari, Ugo Concurrent models for Linda with transactions. (English) Zbl 1085.68027 Math. Struct. Comput. Sci. 14, No. 3, 421-468 (2004). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Math. Struct. Comput. Sci. 14, No. 3, 421--468 (2004; Zbl 1085.68027) Full Text: DOI
Baldan, Paolo; Bruni, Roberto; Montanari, Ugo Pre-nets, read ARCS and unfolding: A functorial presentation. (English) Zbl 1278.68210 Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 145-164 (2003). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 2755, 145--164 (2003; Zbl 1278.68210) Full Text: DOI
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro Algebraic theories for contextual pre-nets. (English) Zbl 1257.68107 Blundo, Carlo (ed.) et al., Theoretical computer science. 8th Italian conference, ICTCS 2003, Bertinoro, Italy, October 13–15, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20216-1/pbk). Lect. Notes Comput. Sci. 2841, 256-270 (2003). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 2841, 256--270 (2003; Zbl 1257.68107) Full Text: DOI
Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C. Comparing cospan-spans and tiles via a Hoare-style process calculus. (English) Zbl 1268.68126 Lenisa, Mariana (ed.) et al., TOSCA 2001. Proceedings of the workshop on theory of concurrency, higher order languages and types, Udine, Italy, November 19–21, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 62, 157-176 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Gadducci} et al., Electron. Notes Theor. Comput. Sci. 62, 157--176 (2002; Zbl 1268.68126) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo Bisimulation equivalences for graph grammars. (English) Zbl 1060.68050 Brauer, Wilfried (ed.) et al., Formal and natural computing. Essays dedicated to Grzegorz Rozenberg. Berlin: Springer (ISBN 3-540-43190-X). Lect. Notes Comput. Sci. 2300, 158-190 (2002). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 2300, 158--190 (2002; Zbl 1060.68050) Full Text: Link
Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco Minimizing transition systems for name passing calculi: A co-algebraic formulation. (English) Zbl 1077.68716 Nielsen, Mogens (ed.) et al., Foundations of software science and computation structures. 5th international conference, FOSSACS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43366-X). Lect. Notes Comput. Sci. 2303, 129-143 (2002). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{G. Ferrari} et al., Lect. Notes Comput. Sci. 2303, 129--143 (2002; Zbl 1077.68716) Full Text: Link
Buscemi, Maria Grazia; Montanari, Ugo A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. (English) Zbl 1012.68120 Brim, Luboš (ed.) et al., CONCUR 2002 - concurrency theory. 13th international conference, Brno, Czech Republic, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2421, 449-465 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. G. Buscemi} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 2421, 449--465 (2002; Zbl 1012.68120) Full Text: Link
Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo Orchestrating transactions in join calculus. (English) Zbl 1012.68524 Brim, Luboš (ed.) et al., CONCUR 2002 - concurrency theory. 13th international conference, Brno, Czech Republic, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2421, 321-337 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 2421, 321--337 (2002; Zbl 1012.68524) Full Text: Link
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo Normal forms for algebras of connections. (English) Zbl 1061.68110 Theor. Comput. Sci. 286, No. 2, 247-292 (2002). MSC: 68Q85 18D10 68Q65 PDFBibTeX XMLCite \textit{R. Bruni} et al., Theor. Comput. Sci. 286, No. 2, 247--292 (2002; Zbl 1061.68110) Full Text: DOI
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo Compositional SOS and beyond: A coalgebraic view of open systems. (English) Zbl 1014.68107 Theor. Comput. Sci. 280, No. 1-2, 163-192 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Corradini} et al., Theor. Comput. Sci. 280, No. 1--2, 163--192 (2002; Zbl 1014.68107) Full Text: DOI
Bruni, Roberto; Montanari, Ugo Dynamic connectors for concurrency. (English) Zbl 0996.68073 Theor. Comput. Sci. 281, No. 1-2, 131-176 (2002). MSC: 68Q42 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Theor. Comput. Sci. 281, No. 1--2, 131--176 (2002; Zbl 0996.68073) Full Text: DOI
Bruni, Roberto; Meseguer, José; Montanari, Ugo Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. (English) Zbl 0993.68058 Math. Struct. Comput. Sci. 12, No. 1, 53-90 (2002). MSC: 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} et al., Math. Struct. Comput. Sci. 12, No. 1, 53--90 (2002; Zbl 0993.68058) Full Text: DOI
Gadducci, Fabio; Montanari, Ugo A concurrent graph semantics for mobile ambients. (English) Zbl 1260.68094 Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 88-105 (2001). MSC: 68N30 68Q42 68Q55 68Q85 PDFBibTeX XMLCite \textit{F. Gadducci} and \textit{U. Montanari}, Electron. Notes Theor. Comput. Sci. 45, 88--105 (2001; Zbl 1260.68094) Full Text: DOI
König, Barbara; Montanari, Ugo Observational equivalence for synchronized graph rewriting with mobility. (English) Zbl 1087.68606 Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 145-164 (2001). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{B. König} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 2215, 145--164 (2001; Zbl 1087.68606) Full Text: Link
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca An interactive semantics of logic programming. (English) Zbl 1066.68512 Theory Pract. Log. Program. 1, No. 6, 647-690 (2001). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} et al., Theory Pract. Log. Program. 1, No. 6, 647--690 (2001; Zbl 1066.68512) Full Text: DOI
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio A LTS semantics of ambients via graph synchronization with mobility. (English) Zbl 1042.68615 Restivo, Antonio (ed.) et al., Theoretical computer science. 7th Italian conference, ICTCS 2001, Torino, Italy, October 4–6, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42672-8). Lect. Notes Comput. Sci. 2202, 1-16 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Ferrari} et al., Lect. Notes Comput. Sci. 2202, 1--16 (2001; Zbl 1042.68615) Full Text: Link
Bruni, Roberto; Montanari, Ugo Transactions and zero-safe nets. (English) Zbl 1017.68074 Ehrig, Hartmut (ed.) et al., Unifying Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2128, 380-426 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 2128, 380--426 (2001; Zbl 1017.68074) Full Text: Link
Hirsch, Dan; Montanari, Ugo Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. (English) Zbl 1006.68538 Larsen, Kim G. (ed.) et al., CONCUR 2001 - Concurrency theory. 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2154, 121-136 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Hirsch} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 2154, 121--136 (2001; Zbl 1006.68538) Full Text: Link
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo Contextual Petri nets, asymmetric event structures, and processes. (English) Zbl 1005.68103 Inf. Comput. 171, No. 1, 1-49 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 171, No. 1, 1--49 (2001; Zbl 1005.68103) Full Text: DOI
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro Functorial models for Petri nets. (English) Zbl 1005.68102 Inf. Comput. 170, No. 2, 207-236 (2001). MSC: 68Q85 68Q65 PDFBibTeX XMLCite \textit{R. Bruni} et al., Inf. Comput. 170, No. 2, 207--236 (2001; Zbl 1005.68102) Full Text: DOI Link
Ferrari, GianLuigi; Montanari, Ugo Tile formats for located and mobile systems. (English) Zbl 1046.68619 Inf. Comput. 156, No. 1-2, 173-235 (2000). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{G. Ferrari} and \textit{U. Montanari}, Inf. Comput. 156, No. 1--2, 173--235 (2000; Zbl 1046.68619) Full Text: DOI
Bruni, Roberto; Montanari, Ugo Zero-safe nets: Comparing the collective and individual token approaches. (English) Zbl 1046.68615 Inf. Comput. 156, No. 1-2, 46-89 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Inf. Comput. 156, No. 1--2, 46--89 (2000; Zbl 1046.68615) Full Text: DOI
Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo Bisimilarity congruences for open terms and term graphs via tile logic. (English) Zbl 0999.68142 Palamidessi, Catuscia (ed.), CONCUR 2000 - Concurrency theory. 11th international conference, University Park, PA, USA, August 22-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1877, 259-274 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 1877, 259--274 (2000; Zbl 0999.68142)
Montanari, Ugo Two problems in wide area network programming (position statement). (English) Zbl 0998.68696 van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 609-611 (2000). MSC: 68U99 68M10 68N19 PDFBibTeX XMLCite \textit{U. Montanari}, Lect. Notes Comput. Sci. 1872, 609--611 (2000; Zbl 0998.68696)
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro Open ended systems, dynamic bisimulation and tile logic. (English) Zbl 0998.68087 van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 440-456 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 1872, 440--456 (2000; Zbl 0998.68087)
Montanari, Ugo; Pistore, Marco \(\pi\)-calculus, structured coalgebras, and minimal HD-automata. (English) Zbl 0996.68125 Nielsen, Mogens (ed.) et al., Mathematical foundations of computer science 2000. 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1893, 569-578 (2000). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{U. Montanari} and \textit{M. Pistore}, Lect. Notes Comput. Sci. 1893, 569--578 (2000; Zbl 0996.68125)
Bruni, Roberto; Montanari, Ugo Executing transactions in zero-safe nets. (English) Zbl 0986.68081 Nielsen, Mogens (ed.) et al., Application and theory of Petri nets 2000. 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1825, 83-102 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 1825, 83--102 (2000; Zbl 0986.68081)
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo History preserving bisimulation for contextual nets. (English) Zbl 0966.68151 Bert, Didier (ed.) et al., Recent trends in algebraic development techniques. 14th international workshop, WADT ’99, Château de Bonas, France, September 15-18, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1827, 291-310 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 1827, 291--310 (2000; Zbl 0966.68151)
Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V. Functorial semantics for Petri nets under the individual token philosophy. (English) Zbl 0966.68108 Hofmann, Martin (ed.) et al., CTCS ’99. Conference on category theory and computer science, Edinburgh, GB, September 10-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 29, 18 p., electronic only (1999). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., in: CTCS '99. Conference on category theory and computer science, Edinburgh, GB, September 10--12, 1999. Amsterdam: Elsevier. 18 p. (1999; Zbl 0966.68108)
Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Montanari, Ugo (ed.); Rozenberg, Grzegorz (ed.) Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. (English) Zbl 0951.68049 Singapore: World Scientic Publishing. xiv, 455 p. (1999). Reviewer: Heribert Vollmer (Würzburg) MSC: 68Q42 68R10 68Q85 68-00 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Singapore: World Scientic Publishing (1999; Zbl 0951.68049)
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo Normal forms for partitions and relations. (English) Zbl 0955.68081 Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 31-47 (1999). MSC: 68Q85 18D10 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 1589, 31--47 (1999; Zbl 0955.68081)
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo Unfolding and event structure semantics for graph grammars. (English) Zbl 0946.68087 Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22-28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 73-89 (1999). MSC: 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 1578, 73--89 (1999; Zbl 0946.68087)