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.

Emilio Tuosto
SearchCollections
Map detail
Emilio Tuosto13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipEmilio TuostoAEmilio TuostoResearcherToward a Formal Semantics for Autonomic ComponentsWToward a Formal Semanti...preprint / 2010Synthesising Choreographies from Local Session Types (extended version)WSynthesising Choreograp...preprint / 2012On the realizability of contracts in dishonest systemsWOn the realizability of...preprint / 2012A Modular Toolkit for Distributed InteractionsWA Modular Toolkit for D...preprint / 2011Contracts in distributed systemsWContracts in distribute...preprint / 2011Enforcing Architectural Styles in Presence of Unexpected Distributed ReconfigurationsWEnforcing Architectural...preprint / 2012On Recovering from Run-time Misbehaviour in ADRWOn Recovering from Run-...preprint / 2013An Abstract Semantics of the Global View of ChoreographiesWAn Abstract Semantics o...preprint / 2016On Composing Communicating SystemsWOn Composing Communicat...preprint / 2022Towards Refinable ChoreographiesWTowards Refinable Chore...preprint / 2020An Abstract Framework for Choreographic TestingWAn Abstract Framework f...preprint / 2020Amending Contracts for ChoreographiesWAmending Contracts for ...preprint / 2011
Person12 links

Emilio Tuosto

Researcher

PaperToward a Formal Semantics for Autonomic ComponentsAuthorship / preprint / 2010PaperSynthesising Choreographies from Local Session Types (extended version)Authorship / preprint / 2012PaperOn the realizability of contracts in dishonest systemsAuthorship / preprint / 2012PaperA Modular Toolkit for Distributed InteractionsAuthorship / preprint / 2011PaperContracts in distributed systemsAuthorship / preprint / 2011PaperEnforcing Architectural Styles in Presence of Unexpected Distributed ReconfigurationsAuthorship / preprint / 2012PaperOn Recovering from Run-time Misbehaviour in ADRAuthorship / preprint / 2013PaperAn Abstract Semantics of the Global View of ChoreographiesAuthorship / preprint / 2016

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)