Background

document.bib

@@ -0,0 +1,62 @@
+@article{Brodo_Bruni_Falaschi_2021,
+  title =        {A logical and graphical framework for Reaction
+                  Systems},
+  volume =       875,
+  DOI =          {10.1016/j.tcs.2021.03.024},
+  journal =      {Theoretical Computer Science},
+  author =       {Brodo, Linda and Bruni, Roberto and Falaschi,
+                  Moreno},
+  year =         2021,
+  month =        7,
+  pages =        {1–27}
+}
+
+@article{Rozenberg_Engelfriet_1998,
+  title =        {Elementary Net Systems},
+  DOI =          {10.1007/3-540-65306-6_14},
+  journal =      {Lecture Notes in Computer Science},
+  author =       {Rozenberg, Grzegorz and Engelfriet, Joost},
+  year =         1998,
+  pages =        {12–121}
+}
+
+@book{Baier_Katoen_Larsen_2016,
+  place =        {Cumberland},
+  title =        {Principles of model checking},
+  publisher =    {MIT Press, The},
+  author =       {Baier, Christel and Katoen, Joost-Pieter and Larsen,
+                  Kim Guldstrand},
+  year =         2016
+}
+
+@article{Aceto_Ingolfsdottir_Srba_2011,
+  title =        {The algorithmics of Bisimilarity},
+  DOI =          {10.1017/cbo9780511792588.004},
+  journal =      {Advanced Topics in Bisimulation and Coinduction},
+  author =       {Aceto, Luca and Ingolfsdottir, Anna and Srba, Jirí},
+  year =         2011,
+  month =        9,
+  pages =        {100–172}
+}
+
+@article{Cleaveland_Sokolsky_2001,
+  title =        {Equivalence and preorder checking for finite-state
+                  systems},
+  DOI =          {10.1016/b978-044482830-9/50024-2},
+  journal =      {Handbook of Process Algebra},
+  author =       {Cleaveland, Rance and Sokolsky, Oleg},
+  year =         2001,
+  pages =        {391–424}
+}
+
+@article{Paige_Tarjan_1987,
+  title =        {Three partition refinement algorithms},
+  volume =       16,
+  DOI =          {10.1137/0216062},
+  number =       6,
+  journal =      {SIAM Journal on Computing},
+  author =       {Paige, Robert and Tarjan, Robert E.},
+  year =         1987,
+  month =        {12},
+  pages =        {973–989}
+}