Hugo Filipe Mendes Torres Vieira


AuthID: R-000-60Y

Confirmed Publications: 15



11
TITLE: A Process Calculus Analysis of Compensations  Full Text
AUTHORS: Caires, L ; Ferreira, C ; Vieira, H ;
PUBLISHED: 2009, SOURCE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: ORCID
12
TITLE: Conversation Types
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2009, SOURCE: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5502
INDEXED IN: Scopus WOS DBLP CrossRef: 32
IN MY: ORCID
13
TITLE: The conversation calculus: A model of service-oriented computation
AUTHORS: Vieira, HT ; Caires, L ; Seco, JC ;
PUBLISHED: 2008, SOURCE: 17th European Symposium on Programming (ESOP 2008) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 4960
INDEXED IN: Scopus WOS DBLP CrossRef: 45
IN MY: ORCID
14
TITLE: An observational model for spatial logics
AUTHORS: Tuosto, E; Vieira, HT ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 142, ISSUE: SPEC. ISS.
INDEXED IN: Scopus CrossRef
IN MY: ORCID
15
TITLE: Extensionality of Spatial Observations in Distributed Systems
AUTHORS: Luís Caires ; Hugo Torres Vieira ;
PUBLISHED: 2006, SOURCE: EXPRESS, VOLUME: 175, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
Page 2 of 2. Total results: 15.

footer slogan

Useful Links

Get Help

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