Login / Signup
Daniele Nantes
ORCID
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Expressive Power
Communication Networks
Cross Domain
Extended Abstract
Top Venues
CoRR
FORTE
</>
Publications
</>
Daniele Nantes
,
Carlos Olarte
,
Daniel Ventura
A subexponential view of domains in session types.
CoRR
(2021)
Daniele Nantes
,
Jorge A. Pérez
Relating Process Languages for Security and Communication Correctness (Extended Abstract).
FORTE
(2018)