Graph explorer

Research map

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

Mario Bravetti
Map detail
Mario Bravetti5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipMario BravettiAMario BravettiResearcherBehavioural Types for Memory and Method Safety in a Core Object-Oriented LanguageWBehavioural Types for M...preprint / 2020File Managing and Program Execution in Web Operating SystemsWFile Managing and Progr...preprint / 2010Choreographies and Behavioural Contracts on the Way to Dynamic UpdatesWChoreographies and Beha...preprint / 2014Adaptable processesWAdaptable processespreprint / 2012
Person4 links

Mario Bravetti

Researcher