BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Marco Peressotti
SearchCollections
Map detail
Marco Peressotti13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarco PeressottiAMarco PeressottiResearcherEndofunctors modelling higher-order behavioursWEndofunctors modelling ...preprint / 2016Software Transactional Memory with InteractionsWSoftware Transactional ...preprint / 2020Weak bisimulations for labelled transition systems weighted over semiringsWWeak bisimulations for ...preprint / 2013GSOS for non-deterministic processes with quantitative aspectsWGSOS for non-determinis...preprint / 2014Open Transactions on Shared MemoryWOpen Transactions on Sh...preprint / 2015Structural operational semantics for non-deterministic processes with quantitative aspectsWStructural operational ...preprint / 2015A Specification of Open Transactional Memory for HaskellWA Specification of Open...preprint / 2016Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIsWModel-Driven Generation...preprint / 2022Formalising a Turing-Complete Choreographic Language in CoqWFormalising a Turing-Co...preprint / 2021A CSP implementation of the directed bigraph embedding problemWA CSP implementation of...preprint / 2020Distributed execution of bigraphical reactive systemsWDistributed execution o...preprint / 2015Behavioural equivalences for coalgebras with unobservable movesWBehavioural equivalence...preprint / 2015
Person12 links

Marco Peressotti

Researcher

PaperEndofunctors modelling higher-order behavioursAuthorship / preprint / 2016PaperSoftware Transactional Memory with InteractionsAuthorship / preprint / 2020PaperWeak bisimulations for labelled transition systems weighted over semiringsAuthorship / preprint / 2013PaperGSOS for non-deterministic processes with quantitative aspectsAuthorship / preprint / 2014PaperOpen Transactions on Shared MemoryAuthorship / preprint / 2015PaperStructural operational semantics for non-deterministic processes with quantitative aspectsAuthorship / preprint / 2015PaperA Specification of Open Transactional Memory for HaskellAuthorship / preprint / 2016PaperModel-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIsAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)