63 lines
2.0 KiB
BibTeX
63 lines
2.0 KiB
BibTeX
@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}
|
||
}
|