


Остановите войну!
for scientists:
Paolo Baldan
Person information

- affiliation: University of Padova, Italy
- affiliation (former): University of Pisa, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j47]Paolo Baldan
, Daniele Gorla
, Tommaso Padoan
, Ivano Salvo
:
Behavioural logics for configuration structures. Theor. Comput. Sci. 913: 94-112 (2022) - 2021
- [j46]Paolo Baldan
, Andrea Corradini, Fabio Gadducci
:
Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. 281: 104770 (2021) - [c68]Paolo Baldan
, Richard Eggert
, Barbara König
, Tommaso Padoan
:
Fixpoint Theory - Upside Down. FoSSaCS 2021: 62-81 - [c67]Paolo Baldan, Francesco Ranzato, Linpeng Zhang:
A Rice's Theorem for Abstract Semantics. ICALP 2021: 117:1-117:19 - [c66]Paolo Baldan, Alberto Carraro, Tommaso Padoan:
(Un)Decidability for History Preserving True Concurrent Logics. MFCS 2021: 13:1-13:16 - [i14]Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan:
Fixpoint Theory - Upside Down. CoRR abs/2101.08184 (2021) - [i13]Paolo Baldan, Francesco Ranzato, Linpeng Zhang:
A Rice's Theorem for Abstract Semantics. CoRR abs/2105.14579 (2021) - 2020
- [j45]Paolo Baldan
, Tommaso Padoan:
Model Checking a Logic for True Concurrency. ACM Trans. Comput. Log. 21(4): 34:1-34:49 (2020) - [c65]Paolo Baldan
, Barbara König, Tommaso Padoan:
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. CONCUR 2020: 25:1-25:20 - [i12]Paolo Baldan, Barbara König, Tommaso Padoan:
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations. CoRR abs/2003.08877 (2020)
2010 – 2019
- 2019
- [j44]Paolo Baldan
, Fabio Gadducci
:
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica 56(1): 61-92 (2019) - [j43]Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan:
Fixpoint games on continuous lattices. Proc. ACM Program. Lang. 3(POPL): 26:1-26:29 (2019) - [c64]Paolo Baldan
, Alessandra Raffaetà
:
Minimisation of Event Structures. FSTTCS 2019: 30:1-30:15 - [i11]Paolo Baldan, Alessandra Raffaetà:
Minimisation of Event Structures. CoRR abs/1907.07042 (2019) - 2018
- [j42]Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Monika Heiner
, Marta Simeoni:
Petri Nets for Modelling and Analysing Trophic Networks. Fundam. Informaticae 160(1-2): 27-52 (2018) - [j41]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14(3) (2018) - [j40]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14(3) (2018) - [j39]Paolo Baldan
, Alberto Lluch-Lafuente
:
Many-to-many information flow policies. Sci. Comput. Program. 168: 118-141 (2018) - [j38]Paolo Baldan
, Alessandro Beggiato:
Multilevel transitive and intransitive non-interference, causally. Theor. Comput. Sci. 706: 54-82 (2018) - [c63]Paolo Baldan, Tommaso Padoan:
Automata for True Concurrency Properties. FoSSaCS 2018: 165-182 - [i10]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - [i9]Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski:
Fixpoint Games on Continuous Lattices. CoRR abs/1810.11404 (2018) - 2017
- [j37]Paolo Baldan, Daniele Gorla:
Preface. Inf. Comput. 252: 1 (2017) - [c62]Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
:
Many-to-Many Information Flow Policies. COORDINATION 2017: 159-177 - [c61]Paolo Baldan, Tommaso Padoan:
Local Model Checking in a Logic for True Concurrency. FoSSaCS 2017: 407-423 - [c60]Paolo Baldan, Andrea Corradini
, Fabio Gadducci
:
Domains and event structures for fusions. LICS 2017: 1-12 - [i8]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and Event Structures for Fusions. CoRR abs/1701.02394 (2017) - [i7]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. CoRR abs/1712.07511 (2017) - 2016
- [j36]Abel Armas-Cervantes
, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
:
Diagnosing behavioral differences between business process models: An approach based on event structures. Inf. Syst. 56: 304-325 (2016) - [j35]Abel Armas-Cervantes
, Paolo Baldan, Luciano García-Bañuelos
:
Reduction of event structures under history preserving bisimulation. J. Log. Algebraic Methods Program. 85(6): 1110-1130 (2016) - [c59]Paolo Baldan, Alessandro Beggiato:
Multilevel Transitive and Intransitive Non-interference, Causally. COORDINATION 2016: 1-17 - 2015
- [j34]Paolo Baldan, Alberto Carraro:
A Causal View on Non-Interference. Fundam. Informaticae 140(1): 1-38 (2015) - [j33]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j32]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015) - [c58]Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni:
Petri nets for modelling and analysing trophic networks. BioPPN@Petri Nets 2015: 21-36 - [c57]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 - [c56]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CALCO 2015: 35-49 - [i6]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CoRR abs/1505.08105 (2015) - 2014
- [j31]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. J. ACM 61(4): 24:1-24:36 (2014) - [j30]Paolo Baldan, Andrea Corradini
, Tobias Heindel, Barbara König, Pawel Sobocinski
:
Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. 24(4) (2014) - [c55]Paolo Baldan, Silvia Crafa:
Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS 2014: 469-488 - [c54]Paolo Baldan, Alberto Carraro:
Non-interference by Unfolding. Petri Nets 2014: 190-209 - [c53]Abel Armas, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos:
BP-Diff: A Tool for Behavioral Comparison of Business Process Models. BPM (Demos) 2014: 1 - [c52]Abel Armas-Cervantes
, Paolo Baldan, Marlon Dumas
, Luciano García-Bañuelos
:
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. BPM 2014: 267-282 - [c51]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - [c50]Paolo Baldan, Francesco Burato, Alberto Carraro:
Intransitive Non-Interference by Unfolding. FACS 2014: 269-287 - [c49]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. FSTTCS 2014: 403-415 - [e1]Paolo Baldan, Daniele Gorla:
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Lecture Notes in Computer Science 8704, Springer 2014, ISBN 978-3-662-44583-9 [contents] - [i5]Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos:
Reduction of Event Structures under History Preserving Bisimulation. CoRR abs/1403.7181 (2014) - [i4]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. CoRR abs/1410.3385 (2014) - 2013
- [j29]Paolo Baldan, Nicoletta Cocco, Marta Simeoni:
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta. Electron. Notes Theor. Comput. Sci. 299: 5-13 (2013) - [j28]Paolo Baldan, Nicoletta Cocco, Federica Giummolè
, Marta Simeoni:
Comparing Metabolic Pathways through Reactions and Potential Fluxes. Trans. Petri Nets Other Model. Concurr. 8: 1-23 (2013) - [c48]Paolo Baldan, Martina Bocci, Nicoletta Cocco, Marta Simeoni:
Comparing metabolic pathways through potential fluxes: a selective opening approach. BioPPN@Petri Nets 2013: 1-15 - 2012
- [j27]Paolo Baldan, Alessandro Bruni, Andrea Corradini
, Barbara König, César Rodríguez, Stefan Schwoon:
Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449: 2-22 (2012) - 2011
- [j26]Paolo Baldan, Filippo Bonchi
, Andrea Corradini
, Tobias Heindel, Barbara König:
A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46(3): 222-245 (2011) - [c47]César Rodríguez, Stefan Schwoon, Paolo Baldan:
Efficient Contextual Unfolding. CONCUR 2011: 342-357 - [c46]Paolo Baldan, Fabio Gadducci
, Pawel Sobocinski
:
Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS 2011: 48-59 - [i3]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. CoRR abs/1110.4094 (2011) - 2010
- [j25]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j24]Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König:
Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208(10): 1169-1192 (2010) - [j23]Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni:
Petri nets for modelling metabolic pathways: a survey. Nat. Comput. 9(4): 955-989 (2010) - [c45]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c44]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. CONCUR 2010: 147-161 - [c43]Paolo Baldan, Alessandro Bruni, Andrea Corradini
, Barbara König, Stefan Schwoon:
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT 2010: 91-106 - [c42]Paolo Baldan, Clara Bertolissi:
Sharing in the Graph Rewriting Calculus. WADT 2010: 27-41
2000 – 2009
- 2009
- [c41]Paolo Baldan, Andrea Corradini
, Tobias Heindel, Barbara König, Pawel Sobocinski
:
Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366 - [c40]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - 2008
- [j22]Paolo Baldan, Barbara König:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008) - [j21]Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Towards a Sharing Strategy for the Graph Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 204: 111-127 (2008) - [j20]Paolo Baldan, Andrea Corradini
, Fernando Luís Dotti
, Luciana Foss, Fabio Gadducci
, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. Electron. Notes Theor. Comput. Sci. 211: 39-50 (2008) - [j19]Paolo Baldan, Andrea Corradini
, Barbara König:
A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7): 869-907 (2008) - [j18]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. 4(4) (2008) - [j17]Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon:
McMillan's Complete Prefix for Contextual Nets. Trans. Petri Nets Other Model. Concurr. 1: 199-220 (2008) - [c39]Paolo Baldan, Fabio Gadducci
:
Petri Nets Are Dioids. AMAST 2008: 51-66 - [c38]Paolo Baldan, Andrea Corradini
, Barbara König:
Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models 2008: 16-36 - [c37]Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König:
Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR 2008: 203-217 - [c36]Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan:
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT 2008: 242-256 - [c35]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273 - [c34]Paolo Baldan, Barbara König:
Workshop on Petri Nets and Graph Transformations. ICGT 2008: 467-469 - [i2]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CoRR abs/0809.4115 (2008) - 2007
- [j16]Paolo Baldan, Fabio Gadducci
, Ugo Montanari:
Modelling Calculi with Name Mobility using Graphs with Equivalences. Electron. Notes Theor. Comput. Sci. 176(1): 85-97 (2007) - [j15]Paolo Baldan, Andrea Corradini
, Ugo Montanari, Leila Ribeiro:
Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007) - [j14]Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. 17(3): 363-406 (2007) - [j13]Paolo Baldan, Andrea Bracciali
, Roberto Bruni
:
A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007) - [c33]Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni:
Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276 - [c32]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142 - 2006
- [j12]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [c31]Paolo Baldan, Fabio Gadducci, Ugo Montanari:
Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294 - [c30]Paolo Baldan, Stefan Haar, Barbara König:
Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141 - [c29]Paolo Baldan, Andrea Corradini
, Tobias Heindel, Barbara König, Pawel Sobocinski
:
Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216 - [c28]Paolo Baldan, Hartmut Ehrig, Barbara König:
Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT 2006: 153-167 - [c27]Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214 - [c26]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469 - [c25]Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
:
A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20 - 2005
- [j11]Paolo Baldan, Andrea Corradini
, Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. Electron. Notes Theor. Comput. Sci. 127(2): 5-28 (2005) - [j10]Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner:
A Rewriting Calculus for Cyclic Higher-order Term Graphs. Electron. Notes Theor. Comput. Sci. 127(5): 21-41 (2005) - [j9]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Reiko Heckel:
Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. 15(1): 1-35 (2005) - [c24]Paolo Baldan, Andrea Corradini:
On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling 2005: 3-23 - 2004
- [j8]Paolo Baldan, Andrea Corradini
, Barbara König, Bernhard König:
Verifying a Behavioural Logic for Graph Transformation Systems. Electron. Notes Theor. Comput. Sci. 104: 5-24 (2004) - [j7]Paolo Baldan, Nadia Busi, Andrea Corradini
, G. Michele Pinna:
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1-3): 129-189 (2004) - [c23]Paolo Baldan, Andrea Corradini, Barbara König:
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98 - [c22]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17 - [c21]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 - [c20]Paolo Baldan, Barbara König, Ingo Stürmer:
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. ICGT 2004: 194-209 - [i1]Paolo Baldan, Barbara König, Arend Rensink:
Summary 2: Graph Grammar Verification through Abstraction. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004 - 2003
- [j6]Fabio Alessi, Paolo Baldan, Furio Honsell:
A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. 290(1): 599-635 (2003) - [c19]Paolo Baldan, Barbara König, Bernhard König:
A Logic for Analyzing Abstractions of Graph Transformation Systems. SAS 2003: 255-272 - 2002
- [c18]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Bisimulation by Unification. AMAST 2002: 254-270 - [c17]Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond 2002: 1-40 - [c16]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190 - [c15]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel:
High-Level Net Processes. Formal and Natural Computing 2002: 191-219 - [c14]Paolo Baldan, Barbara König:
Approximating the Behaviour of Graph Transformation Systems. ICGT 2002: 14-29 - [c13]Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink
, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c12]Paolo Baldan, Roberto Bruni, Ugo Montanari:
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164 - [c11]Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro:
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184 - 2001
- [j5]Paolo Baldan:
Concurrency for Graph Grammars in a Petri net shell. Electron. Notes Theor. Comput. Sci. 51: 65-82 (2001) - [j4]Paolo Baldan, Andrea Corradini
, Ugo Montanari:
Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001) - [c10]Paolo Baldan, Andrea Corradini, Barbara König:
A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395 - [c9]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518 - 2000
- [c8]Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna:
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457
1990 – 1999
- 1999
- [j3]Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà:
Basic Theory of F-Bounded Quantification. Inf. Comput. 153(1): 173-237 (1999) - [c7]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89 - [c6]