BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Cyprus
1 × Hungary
1 × Poland
1 × Spain
1 × Switzerland
1 × The Netherlands
2 × Italy
2 × Portugal
2 × USA
Collaborated with:
P.Sobocinski B.Klin M.Bundgaard C.Lhoussaine G.Milicia M.G.Buscemi R.Bruni G.L.Cattani ∅ J.Rathke D.Gorla M.Hennessy G.Conforti D.Macedonio M.Carbone M.Nielsen M.Bugliesi S.Crafa A.Prelic
Talks about:
calculus (3) type (3) net (3) categori (2) network (2) bigraph (2) system (2) semant (2) trust (2) petri (2)

Person: Vladimiro Sassone

DBLP DBLP: Sassone:Vladimiro

Facilitated 3 volumes:

ICALP (1) 2006Ed
ICALP (2) 2006Ed
FoSSaCS 2005Ed

Contributed to:

FoSSaCS 20082008
FoSSaCS 20072007
PPDP 20062006
ICALP 20052005
LICS 20052005
ESOP 20042004
SAC 20042004
FoSSaCS 20032003
ICALP 20032003
SEFM 20032003
FoSSaCS 20012001
ICALP 20002000
LICS 19961996
TAPSOFT CAAP/FASE 19951995

Wrote 15 papers:

FoSSaCS-2008-KlinS #calculus #probability #process #semantics
Structural Operational Semantics for Stochastic Process Calculi (BK, VS), pp. 428–442.
FoSSaCS-2007-RathkeSS #semantics
Semantic Barbs and Biorthogonality (JR, VS, PS), pp. 302–316.
PPDP-2006-BundgaardS #graph #π-calculus
Typed polyadic π-calculus in bigraphs (MB, VS), pp. 1–12.
PPDP-2006-GorlaHS #trust
Inferring dynamic credentials for rôle-based trust management (DG, MH, VS), pp. 213–224.
ICALP-2005-ConfortiMS #graph #logic
Spatial Logics for Bigraphs (GC, DM, VS), pp. 766–778.
LICS-2005-SassoneS
Reactive Systems over Cospans (VS, PS), pp. 311–320.
ESOP-2004-LhoussaineS #calculus
A Dependently Typed Ambient Calculus (CL, VS), pp. 171–187.
SAC-2004-MiliciaS #inheritance #years after
The inheritance anomaly: ten years after (GM, VS), pp. 1267–1274.
FoSSaCS-2003-SassoneS #bisimulation
Deriving Bisimulation Congruences: 2-Categories Vs Precategories (VS, PS), pp. 409–424.
ICALP-2003-BugliesiCPS #network
Secrecy in Untrusted Networks (MB, SC, AP, VS), pp. 969–983.
SEFM-2003-CarboneNS #formal method #network #trust
A Formal Model for Trust in Dynamic Networks (MC, MN, VS), p. 54–?.
FoSSaCS-2001-BuscemiS #calculus #petri net
High-Level Petri Nets as Type Theories in the Join Calculus (MGB, VS), pp. 104–120.
ICALP-2000-BruniS #algebra #modelling
Algebraic Models for Contextual Nets (RB, VS), pp. 175–186.
LICS-1996-CattaniS #higher-order
Higher Dimensional Transition Systems (GLC, VS), pp. 55–62.
TAPSOFT-1995-Sassone #on the #petri net
On the Category of Petri Net Computations (VS), pp. 334–348.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.