Graph explorer

Marco Peressotti

Marco Peressotti contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapMarco Peressotti
13 nodes12 links
Marco Peressotti13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMarco PeressottiResearcherWEndofunctors modelling ...preprint / 2016WSoftware Transactional ...preprint / 2020WWeak bisimulations for ...preprint / 2013WGSOS for non-determinis...preprint / 2014WOpen Transactions on Sh...preprint / 2015WStructural operational ...preprint / 2015WA Specification of Open...preprint / 2016WModel-Driven Generation...preprint / 2022WFormalising a Turing-Co...preprint / 2021WA CSP implementation of...preprint / 2020WDistributed execution o...preprint / 2015WBehavioural equivalence...preprint / 2015
PersonSignal 1012 links

Marco Peressotti

Researcher

Open