Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Characterising spectra of equivalences for event structures, logically. (English) Zbl 1504.68138 Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022; Zbl 1504.68138) Full Text: DOI
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Behavioural logics for configuration structures. (English) Zbl 1483.68222 Theor. Comput. Sci. 913, 94-112 (2022). MSC: 68Q85 03B70 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Theor. Comput. Sci. 913, 94--112 (2022; Zbl 1483.68222) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio Concurrent semantics for fusions: weak prime domains and connected event structures. (English) Zbl 1518.68227 Inf. Comput. 281, Article ID 104770, 32 p. (2021). MSC: 68Q85 68Q42 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 281, Article ID 104770, 32 p. (2021; Zbl 1518.68227) Full Text: DOI
Baldan, Paolo; König, Barbara; Padoan, Tommaso Abstraction, up-to techniques and games for systems of fixpoint equations. (English) Zbl 07559481 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 25, 20 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 25, 20 p. (2020; Zbl 07559481) Full Text: DOI arXiv
Baldan, Paolo; Padoan, Tommaso Model checking a logic for true concurrency. (English) Zbl 1502.68179 ACM Trans. Comput. Log. 21, No. 4, Article No. 34, 49 p. (2020). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{T. Padoan}, ACM Trans. Comput. Log. 21, No. 4, Article No. 34, 49 p. (2020; Zbl 1502.68179) Full Text: DOI
Baldan, Paolo; Gadducci, Fabio Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. (English) Zbl 1417.68114 Acta Inf. 56, No. 1, 61-92 (2019). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 18B20 68Q10 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{F. Gadducci}, Acta Inf. 56, No. 1, 61--92 (2019; Zbl 1417.68114) 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
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara Coalgebraic behavioral metrics. (English) Zbl 1515.68199 Log. Methods Comput. Sci. 14, No. 3, Paper No. 20, 61 p. (2018). MSC: 68Q85 18C20 18C50 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 20, 61 p. (2018; Zbl 1515.68199) Full Text: DOI arXiv
Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Heiner, Monika; Simeoni, Marta Petri nets for modelling and analysing trophic networks. (English) Zbl 1395.92182 Fundam. Inform. 160, No. 1-2, 27-52 (2018). MSC: 92D40 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Fundam. Inform. 160, No. 1--2, 27--52 (2018; Zbl 1395.92182) Full Text: DOI
Baldan, Paolo; Padoan, Tommaso Automata for true concurrency properties. (English) Zbl 1504.68139 Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 165-182 (2018). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{T. Padoan}, Lect. Notes Comput. Sci. 10803, 165--182 (2018; Zbl 1504.68139) Full Text: DOI Link
Baldan, Paolo; Beggiato, Alessandro Multilevel transitive and intransitive non-interference, causally. (English) Zbl 1380.68292 Theor. Comput. Sci. 706, 54-82 (2018). MSC: 68Q85 68Q55 68Q60 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{A. Beggiato}, Theor. Comput. Sci. 706, 54--82 (2018; Zbl 1380.68292) Full Text: DOI HAL
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio Domains and event structures for fusions. (English) Zbl 1458.68128 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 75, 12 p. (2017). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{P. Baldan} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 75, 12 p. (2017; Zbl 1458.68128) Full Text: arXiv Link
Baldan, Paolo; Padoan, Tommaso Local model checking in a logic for true concurrency. (English) Zbl 1486.68102 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 407-423 (2017). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{T. Padoan}, Lect. Notes Comput. Sci. 10203, 407--423 (2017; Zbl 1486.68102) Full Text: DOI
Baldan, Paolo (ed.); Gorla, Daniele (ed.) Preface. (English) Zbl 1355.00034 Inf. Comput. 252, 1 (2017). MSC: 00B25 68-06 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} (ed.) and \textit{D. Gorla} (ed.), Inf. Comput. 252, 1 (2017; Zbl 1355.00034) Full Text: DOI
Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano Reduction of event structures under history preserving bisimulation. (English) Zbl 1392.68281 J. Log. Algebr. Methods Program. 85, No. 6, 1110-1130 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Armas-Cervantes} et al., J. Log. Algebr. Methods Program. 85, No. 6, 1110--1130 (2016; Zbl 1392.68281) Full Text: DOI arXiv
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina Concurrency cannot be observed, asynchronously. (English) Zbl 1361.68158 Math. Struct. Comput. Sci. 25, No. 4, 978-1004 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Math. Struct. Comput. Sci. 25, No. 4, 978--1004 (2015; Zbl 1361.68158) Full Text: DOI
Baldan, Paolo; Carraro, Alberto A causal view on non-interference. (English) Zbl 1335.68162 Fundam. Inform. 140, No. 1, 1-38 (2015). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{A. Carraro}, Fundam. Inform. 140, No. 1, 1--38 (2015; Zbl 1335.68162) Full Text: DOI
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. Asynchronous traces and open Petri nets. (English) Zbl 1434.68320 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, 86-102 (2015). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 9465, 86--102 (2015; Zbl 1434.68320) Full Text: DOI
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara Behavioral metrics via functor lifting. (English) Zbl 1360.68607 Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 403-415 (2014). MSC: 68Q70 18B20 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 29, 403--415 (2014; Zbl 1360.68607) Full Text: DOI arXiv
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł Processes and unfoldings: concurrent computations in adhesive categories. (English) Zbl 1342.68223 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240402, 51 p. (2014). MSC: 68Q85 18A35 18A40 18B20 68Q42 PDFBibTeX XMLCite \textit{P. Baldan} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240402, 51 p. (2014; Zbl 1342.68223) Full Text: DOI
Baldan, Paolo; Crafa, Silvia Hereditary history-preserving bisimilarity: logics and automata. (English) Zbl 1453.68110 Garrigue, Jacques (ed.), Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17–19, 2014, Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8858, 469-488 (2014). MSC: 68Q85 03B70 68Q45 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{S. Crafa}, Lect. Notes Comput. Sci. 8858, 469--488 (2014; Zbl 1453.68110) Full Text: DOI
Baldan, Paolo; Crafa, Silvia A logic for true concurrency. (English) Zbl 1321.68355 J. ACM 61, No. 4, Article No. 24, 36 p. (2014). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{S. Crafa}, J. ACM 61, No. 4, Article No. 24, 36 p. (2014; Zbl 1321.68355) Full Text: DOI arXiv
Baldan, Paolo (ed.); Gorla, Daniele (ed.) CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. (English) Zbl 1295.68016 Lecture Notes in Computer Science 8704. Berlin: Springer (ISBN 978-3-662-44583-9/pbk). xxii, 594 p. (2014). MSC: 68-06 68Q85 00B25 PDFBibTeX XMLCite \textit{P. Baldan} (ed.) and \textit{D. Gorla} (ed.), CONCUR 2014 -- concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2--5, 2014. Proceedings. Berlin: Springer (2014; Zbl 1295.68016) Full Text: DOI
Baldan, Paolo; Carraro, Alberto Non-interference by unfolding. (English) Zbl 1334.68144 Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07733-8/pbk). Lecture Notes in Computer Science 8489, 190-209 (2014). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{A. Carraro}, Lect. Notes Comput. Sci. 8489, 190--209 (2014; Zbl 1334.68144) Full Text: DOI
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan Efficient unfolding of contextual Petri nets. (English) Zbl 1263.68117 Theor. Comput. Sci. 449, 2-22 (2012). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Theor. Comput. Sci. 449, 2--22 (2012; Zbl 1263.68117) Full Text: DOI
Rodríguez, César; Schwoon, Stefan; Baldan, Paolo Efficient contextual unfolding. (English) Zbl 1343.68176 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, 342-357 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Rodríguez} et al., Lect. Notes Comput. Sci. 6901, 342--357 (2011; Zbl 1343.68176) Full Text: DOI
Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta Petri nets for modelling metabolic pathways: a survey. (English) Zbl 1206.68209 Nat. Comput. 9, No. 4, 955-989 (2010). MSC: 68Q85 92C40 PDFBibTeX XMLCite \textit{P. Baldan} et al., Nat. Comput. 9, No. 4, 955--989 (2010; Zbl 1206.68209) Full Text: DOI
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara Unfolding-based diagnosis of systems with an evolving topology. (English) Zbl 1214.68242 Inf. Comput. 208, No. 10, 1169-1192 (2010). MSC: 68Q85 68Q42 68R10 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 208, No. 10, 1169--1192 (2010; Zbl 1214.68242) Full Text: DOI
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan On the computation of McMillan’s prefix for contextual nets and graph grammars. (English) Zbl 1306.68120 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, 91-106 (2010). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 6372, 91--106 (2010; Zbl 1306.68120) Full Text: DOI
Baldan, Paolo; Crafa, Silvia A logic for true concurrency. (English) Zbl 1287.68120 Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 147-161 (2010). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{S. Crafa}, Lect. Notes Comput. Sci. 6269, 147--161 (2010; Zbl 1287.68120) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł Unfolding grammars in adhesive categories. (English) Zbl 1239.68036 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, 350-366 (2009). MSC: 68Q42 18C50 68Q55 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 5728, 350--366 (2009; Zbl 1239.68036) Full Text: DOI Link
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio Encoding asynchronous interactions using open Petri nets. (English) Zbl 1254.68161 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 99-114 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 5710, 99--114 (2009; Zbl 1254.68161) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. (English) Zbl 1161.68034 Log. Methods Comput. Sci. 4, No. 4, Paper 3, 41 p. (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Log. Methods Comput. Sci. 4, No. 4, Paper 3, 41 p. (2008; Zbl 1161.68034) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan McMillan’s complete prefix for contextual nets. (English) Zbl 1171.68560 Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency I. Berlin: Springer (ISBN 978-3-540-89286-1/pbk). Lecture Notes in Computer Science 5100. Journal Subline, 199-220 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 5100, 199--220 (2008; Zbl 1171.68560) Full Text: DOI
Baldan, Paolo; Gadducci, Fabio Petri nets are dioids. (English) Zbl 1170.68536 Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 51-66 (2008). MSC: 68Q85 16Y60 68Q10 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{F. Gadducci}, Lect. Notes Comput. Sci. 5140, 51--66 (2008; Zbl 1170.68536) Full Text: DOI
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara Unfolding-based diagnosis of systems with an evolving topology. (English) Zbl 1160.68453 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 203-217 (2008). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 5201, 203--217 (2008; Zbl 1160.68453) Full Text: DOI Link
Baldan, Paolo; König, Barbara Workshop on Petri nets and graph transformations. (English) Zbl 1175.68212 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 467-469 (2008). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{B. König}, Lect. Notes Comput. Sci. 5214, 467--469 (2008; Zbl 1175.68212) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara Open Petri nets: Non-deterministic processes and compositionality. (English) Zbl 1175.68269 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 257-273 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 5214, 257--273 (2008; Zbl 1175.68269) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; König, Barbara A framework for the verification of infinite-state graph transformation systems. (English) Zbl 1153.68034 Inf. Comput. 206, No. 7, 869-907 (2008). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 206, No. 7, 869--907 (2008; Zbl 1153.68034) 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
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. (English) Zbl 1214.68243 Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 126-142 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 4624, 126--142 (2007; Zbl 1214.68243) Full Text: DOI arXiv
Baldan, P.; Bracciali, A.; Bruni, R. A semantic framework for open processes. (English) Zbl 1132.68042 Theor. Comput. Sci. 389, No. 3, 446-483 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Theor. Comput. Sci. 389, No. 3, 446--483 (2007; Zbl 1132.68042) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto A temporal graph logic for verification of graph transformation systems. (English) Zbl 1196.68154 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1–3, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71997-7/pbk). Lecture Notes in Computer Science 4409, 1-20 (2007). MSC: 68Q85 03B70 68Q60 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 4409, 1--20 (2007; Zbl 1196.68154) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio Graph transactions as processes. (English) Zbl 1156.68416 Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 199-214 (2006). MSC: 68Q42 68Q85 18A40 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 4178, 199--214 (2006; Zbl 1156.68416) 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
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł Processes for adhesive rewriting systems. (English) Zbl 1180.68165 Aceto, Luca (ed.) et al., Foundations of software science and computation structures. 9th international conference, FOSSACS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33045-3/pbk). Lecture Notes in Computer Science 3921, 202-216 (2006). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 3921, 202--216 (2006; Zbl 1180.68165) Full Text: DOI
Baldan, Paolo; Haar, Stefan; König, Barbara Distributed unfolding of Petri nets. (English) Zbl 1180.68185 Aceto, Luca (ed.) et al., Foundations of software science and computation structures. 9th international conference, FOSSACS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33045-3/pbk). Lecture Notes in Computer Science 3921, 126-141 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 3921, 126--141 (2006; Zbl 1180.68185) Full Text: DOI
Baldan, Paolo; Corradini, Andrea On the concurrent semantics of algebraic graph grammars. (English) Zbl 1075.68037 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, 3-23 (2005). MSC: 68Q42 68Q85 68-02 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{A. Corradini}, Lect. Notes Comput. Sci. 3393, 3--23 (2005; Zbl 1075.68037) Full Text: DOI
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto Symbolic equivalences for open systems. (English) Zbl 1111.68530 Priami, Corrado (ed.) et al., Global computing. IST/FET international workshop, GC 2004, Rovereto, Italy, March 9–12, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-24101-9/pbk). Lecture Notes in Computer Science 3267, 1-17 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 3267, 1--17 (2005; Zbl 1111.68530) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko Compositional semantics for open Petri nets based on deterministic processes. (English) Zbl 1089.68068 Math. Struct. Comput. Sci. 15, No. 1, 1-35 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Math. Struct. Comput. Sci. 15, No. 1, 1--35 (2005; Zbl 1089.68068) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard Verifying a behavioural logic for graph transformation systems. (English) Zbl 1271.68167 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, 5-24 (2004). MSC: 68Q85 03B44 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{P. Baldan} et al., Electron. Notes Theor. Comput. Sci. 104, 5--24 (2004; Zbl 1271.68167) Full Text: Link
Baldan, Paolo; Corradini, Andrea; König, Barbara Verifying finite-state graph grammars: An unfolding-based approach. (English) Zbl 1099.68046 Gardner, Philippa (ed.) et al., CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22940-X/pbk). Lecture Notes in Computer Science 3170, 83-98 (2004). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 3170, 83--98 (2004; Zbl 1099.68046) Full Text: DOI
Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M. Domain and event structure semantics for Petri nets with read and inhibitor arcs. (English) Zbl 1078.68103 Theor. Comput. Sci. 323, No. 1-3, 129-189 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Theor. Comput. Sci. 323, No. 1--3, 129--189 (2004; Zbl 1078.68103) 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
Baldan, Paolo; König, Barbara; König, Bernhard A logic for analyzing abstractions of graph transformation systems. (English) Zbl 1067.68095 Cousot, Radhia (ed.), Static analysis. 10th international symposium, SAS 2003, San Diego, CA, USA, June 11–13, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40325-6/pbk). Lect. Notes Comput. Sci. 2694, 255-272 (2003). MSC: 68Q85 68Q60 03B70 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 2694, 255--272 (2003; Zbl 1067.68095) Full Text: Link
Baldan, Paolo Concurrency for graph grammars in a Petri net shell. (English) Zbl 1263.68065 Bauderon, Michel (ed.) et al., GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 51, 65-82 (2002). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Baldan}, Electron. Notes Theor. Comput. Sci. 51, 65--82 (2002; Zbl 1263.68065) Full Text: DOI
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto Bisimulation by unification. (English) Zbl 1275.68100 Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 254-270 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 2422, 254--270 (2002; Zbl 1275.68100) Full Text: DOI
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko High-level net processes. (English) Zbl 1060.68078 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, 191-219 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 2300, 191--219 (2002; Zbl 1060.68078) Full Text: Link
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
Baldan, Paolo; König, Barbara Approximating the behaviour of graph transformation systems. (English) Zbl 1028.68089 Corradini, Andrea (ed.) et al., Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2505, 14-29 (2002). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{B. König}, Lect. Notes Comput. Sci. 2505, 14--29 (2002; Zbl 1028.68089) Full Text: Link
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R. Compositional modeling of reactive systems using open nets. (English) Zbl 1006.68084 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, 502-518 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 2154, 502--518 (2001; Zbl 1006.68084) Full Text: Link
Baldan, Paolo; Corradini, Andrea; König, Barbara A static analysis technique for graph transformation systems. (English) Zbl 1006.68529 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, 381-395 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 2154, 381--395 (2001; Zbl 1006.68529) 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
Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele Functional concurrent semantics for Petri nets with read and inhibitor arcs. (English) Zbl 0999.68150 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, 442-457 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 1877, 442--457 (2000; Zbl 0999.68150)
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)
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo An event structure semantics for P/T contextual nets: Asymmetric event structures. (English) Zbl 0902.68140 Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 63-80 (1998). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 1378, 63--80 (1998; Zbl 0902.68140)