Graph explorer

Research map

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

Roberto Gorrieri
Map detail
Roberto Gorrieri3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipRoberto GorrieriARoberto GorrieriResearcherA Process Calculus for Expressing Finite Place/Transition Petri NetsWA Process Calculus for ...preprint / 2010On the Decidability of Non Interference over Unbounded Petri NetsWOn the Decidability of ...preprint / 2011
Person2 links

Roberto Gorrieri

Researcher