BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Spain
1 × USA
1 × United Kingdom
2 × Italy
2 × Portugal
Collaborated with:
N.Yoshida K.Honda A.Ravara F.Martins L.M.B.Lopes F.M.A.Silva M.Kubo I.Lanese L.Bocchi M.Murgia S.J.Gay N.Gesbert A.Z.Caldeira H.A.López E.R.B.Marques N.Ng C.Santos
Talks about:
type (7) session (4) program (4) process (3) disciplin (2) orient (2) object (2) time (2) base (2) multithread (1)

Person: Vasco Thudichum Vasconcelos

DBLP DBLP: Vasconcelos:Vasco_Thudichum

Contributed to:

OOPSLA 20152015
POPL 20102010
PPDP 20092009
SFM 20092009
SEFM 20072007
ESOP 20002000
PPDP 19991999
ESOP 19981998
ECOOP 19941994
ESOP 20192019

Wrote 10 papers:

OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification
Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
POPL-2010-GayVRGC #composition #distributed #object-oriented #programming
Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
PPDP-2009-Vasconcelos #functional #linear #parallel #programming #thread
Session types for linear multithreaded functional programming (VTV), pp. 1–6.
Fundamentals of Session Types (VTV), pp. 158–186.
SEFM-2007-LaneseMVR #distributed
Disciplining Orchestration and Conversation in Service-Oriented Computing (IL, FM, VTV, AR), pp. 305–314.
ESOP-2000-HondaVY #behaviour #data flow #process
Secure Information Flow as Typed Process Behaviour (KH, VTV, NY), pp. 180–199.
PPDP-1999-LopesSV #calculus #process #virtual machine
A Virtual Machine for a Process Calculus (LMBL, FMAS, VTV), pp. 244–260.
ESOP-1998-HondaVK #programming
Language Primitives and Type Discipline for Structured Communication-Based Programming (KH, VTV, MK), pp. 122–138.
ECOOP-1994-Vasconcelos #concurrent
Typed Concurrent Objects (VTV), pp. 100–117.
ESOP-2019-BocchiMVY #process
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes (LB, MM, VTV, NY), pp. 583–610.

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.