António Maria Lobo César Alarcão Ravara


AuthID: R-000-2C4

Confirmed Publications: 23



21
TITLE: Communication errors in the pi-calculus are undecidable  Full Text
AUTHORS: Vasconcelos, VT ; Ravara, A ;
PUBLISHED: 1999, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 71, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
22
TITLE: Semantics of objects as processes (SOAP)  Full Text
AUTHORS: Nestmann, U; Ravara, A ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743
INDEXED IN: WOS
23
TITLE: Behavioural Types for a Calculus of Concurrent Objects
AUTHORS: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 1997, SOURCE: 3rd International Conference on Parallel Processing, Euro-Par 1997 in Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, VOLUME: 1300
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
Page 3 of 3. Total results: 23.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service