Mario Román

Tag: nov20

2 items with this tag.

Sep 17, 2025
Decorating bicategories of processes
- nov20
Sep 17, 2025
Quotient of IO transition systems
- nov20

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID