Vasconcelos, Vasco T.
Vasconcelos, Vasco Thudichum, 1964-...., informaticien
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Vasco T. Vasconcelos
Vasconcelos, Vasco Thudichum 1964-...
Vasconcelos, Vasco T., 1964-
VIAF ID: 4460105 (Personal)
Permalink: http://viaf.org/viaf/4460105
Preferred Forms
-
100 0 _
‡a
Vasco T. Vasconcelos
-
100 1 _ ‡a Vasconcelos, Vasco T.
-
100 1 _ ‡a Vasconcelos, Vasco T.
-
100 1 _
‡a
Vasconcelos, Vasco T.
-
100 1 _
‡a
Vasconcelos, Vasco T.
(sparse)
-
100 1 _ ‡a Vasconcelos, Vasco T., ‡d 1964-
-
100 1 _
‡a
Vasconcelos, Vasco Thudichum
‡d
1964-...
-
100 1 _
‡a
Vasconcelos, Vasco Thudichum,
‡d
1964-....,
‡c
informaticien
4xx's: Alternate Name Forms (3)
Works
| Title | Sources |
|---|---|
| Components an types. |
|
| Composants et typage |
|
| CONCUR 2007 - concurrency theory, c2007: |
|
| Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings |
|
| Core Calculi for Service-Oriented Computing |
|
| Enforcing secure information flow in client-side Web applications. |
|
| Polymorphic lambda calculus with context-free session types |
|
| A Type Discipline for Message Passing Parallel Programs |
|
| Vers l'établissement du flux d'information sûr dans les applications Web côté client |
|
