TY  - RPRT
TI  - Compositional Net Semantics up to Step Net Bisimilarity
AU  - Roberto Gorrieri
PY  - 2023
UR  - https://arxiv.org/abs/2301.04483
ID  - 2301.04483
ER  -