@techreport{distefano:hal-03640683, TITLE = {{Compositional Verification of Priority Systems using Sharp Bisimulation}}, AUTHOR = {Di Stefano, Luca and Lang, Fr{\'e}d{\'e}ric}, URL = {https://inria.hal.science/hal-03640683}, TYPE = {Research Report}, PAGES = {1-32}, INSTITUTION = {{INRIA}}, YEAR = {2022}, MONTH = Apr, KEYWORDS = {Finite state systems ; Enumerative verification ; Congruence ; Concurrency}, PDF = {https://inria.hal.science/hal-03640683/file/DiStefano-Lang-22-RR.pdf}, HAL_ID = {hal-03640683}, HAL_VERSION = {v1}, }