Graph explorer

Research map

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

Paola Giannini
Map detail
Paola Giannini9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPaola GianniniAPaola GianniniResearcherIntersection types for unbind and rebindWIntersection types for ...preprint / 2011Reconciling positional and nominal bindingWReconciling positional ...preprint / 2013A Calculus of Located EntitiesWA Calculus of Located E...preprint / 2014Reversible Multiparty Sessions with CheckpointsWReversible Multiparty S...preprint / 2016Asynchronous Sessions with Input RacesWAsynchronous Sessions w...preprint / 2022Event structure semantics for multiparty sessionsWEvent structure semanti...preprint / 2022Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial InteractionsWParallel BioScape: A St...preprint / 2012A Calculus of Looping Sequences with Local RulesWA Calculus of Looping S...preprint / 2012
Person8 links

Paola Giannini

Researcher