Research

2005--2007: 'event structures'; 'daniele varacca'; 'separation logic'; 'non-deterministic dataflow'; ; 'name generation'; 'distributed probabilities';

2000--2004: 'event structures'; 'mikkel nygaard'; 'daniele varacca'; 'non-deterministic dataflow'; 'cryptographic protocols'; 'gian luca cattanuses'; 'mario caccamo'; 'name generation'; 'process languages.'; 'security protocols'; 'higher-order process language'; 'domain theory'; 'relational models'; 'full abstraction'; 'hagen voelzer'; 'strand spaces';

1995--1999: 'recursive domains with applications to concurrency'; 'event structures'; 'linear logic'; 'weak bisimulation'; 'compositional proof systems'; 'presheaf models'; 'petri nets'; 'non-deterministic dataflow'; 'representation theorems'; 'value-passing processes'; 'free cocompletions'; 'ccs-like languages'; 'representation result'; 'presheaf semantics'; 'categorical axiomatics'; 'relational semantics'; 'linear metalanguage';

1990--1994: 'linear logic'; 'compositional proof systems'; 'compositional checking'; 'computer science'; 'category of labeled transition systems'; 'basic research'; 'linear LOGIC.title'; 'stable bistructure models';

1985--1989: 'event structures';

1980--1984: 'event structures'; 'related languages';