Searching for authors named "Vasco Thudichum Vasconcelos" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
93-002 Recursive Types in a Calculus of Objects
- … 93-002 Recursive Types in a Calculus of Objects Vasco Thudichum Vasconcelos November 2, 1993…
- Add To MetaCart
-
A process-calculus approach to typed concurrent objects
- … A Process-Calculus Approach to Typed Concurrent Ob jects Vasco Thudichum Vasconcelos Keio…
- Cited by 12 (4 self) – Add To MetaCart
-
Recursive Types in a Calculus of Objects
- …Recursive Types in a Calculus of Objects Vasco Thudichum Vasconcelos Keio University Department…
- Cited by 2 (1 self) – Add To MetaCart
-
An operational semantics and a typing system for ABCL/1 based on a calculus for objects
- … Vasco Thudichum Vasconcelos April 1994 Department of Computer Science Graduate School of Science…
- Cited by 3 (3 self) – Add To MetaCart
-
Trace Semantics for Concurrent Objects
- …Trace semantics for concurrent objects Vasco Thudichum Vasconcelos vasco…
- Cited by 1 (1 self) – Add To MetaCart
-
Principal Typing-Schemes in a Polyadic π-Calculus
- …92-004 Principal Typing-Schemes in a Polyadic ��-Calculus Vasco Thudichum Vasconcelos Kohei Honda…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
