Hugo Filipe Mendes Torres Vieira


AuthID: R-000-60Y

Confirmed Publications: 15



11
TITLE: A Process Calculus Analysis of Compensations  Full Text
AUTHORS: Luis Caires ; Carla Ferreira ; Hugo Vieira ;
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 | ResearcherID
12
TITLE: Conversation Types
AUTHORS: Luis Caires ; Hugo Torres Vieira ;
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: 31
IN MY: ORCID | ResearcherID
13
TITLE: The conversation calculus: A model of service-oriented computation
AUTHORS: Hugo T Vieira ; Luis Caires ; Joao C Seco ;
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 | ResearcherID
14
TITLE: Extensionality of Spatial Observations in Distributed Systems
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 175, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
15
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
Page 2 of 2. Total results: 15.

A place for researchers and their institutions

Useful Links

Get Help

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