Graph explorer

Research map

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

Marco Carbone
Map detail
Marco Carbone11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarco CarboneAMarco CarboneResearcherSynchronous ForwardersWSynchronous Forwarderspreprint / 2021Execution Models for Choreographies and CryptoprotocolsWExecution Models for Ch...preprint / 2010A Graphical Approach to Progress for Structured Communication in Web ServicesWA Graphical Approach to...preprint / 2010A Logic for ChoreographiesWA Logic for Choreographiespreprint / 2011Merging Multiparty Protocols in Multiparty ChoreographiesWMerging Multiparty Prot...preprint / 2013Proceedings Fifth Interaction and Concurrency ExperienceWProceedings Fifth Inter...preprint / 2012Refinement for Transition Systems with ResponsesWRefinement for Transiti...preprint / 2012Proceedings 6th Interaction and Concurrency ExperienceWProceedings 6th Interac...preprint / 2013Proceedings Fourth Interaction and Concurrency ExperienceWProceedings Fourth Inte...preprint / 2011Latent class mixed modelling for phenotypic stratification of primary biliary cholangitis patients on first line treatmentWLatent class mixed mode...preprint / 2022
Person10 links

Marco Carbone

Researcher