A
António Ravara
Researcher at Universidade Nova de Lisboa
Publications - 64
Citations - 1227
António Ravara is an academic researcher from Universidade Nova de Lisboa. The author has contributed to research in topics: Correctness & Operational semantics. The author has an hindex of 15, co-authored 57 publications receiving 1098 citations. Previous affiliations of António Ravara include Citigroup & Technical University of Lisbon.
Papers
More filters
Journal ArticleDOI
Foundations of Session Types and Behavioural Contracts
Hans Hüttel,Ivan Lanese,Vasco T. Vasconcelos,Luís Caires,Marco Carbone,Pierre-Malo Deniélou,Dimitris Mostrous,Luca Padovani,António Ravara,Emilio Tuosto,Hugo Torres Vieira,Gianluigi Zavattaro +11 more
TL;DR: This article surveys the main accomplishments of the last 20 years within behavioural types within session types and behavioural contracts.
Book ChapterDOI
SCC: a service centered calculus
Michele Boreale,Roberto Bruni,Luís Caires,R. De Nicola,Ivan Lanese,Michele Loreti,Francisco Martins,Ugo Montanari,António Ravara,Davide Sangiorgi,Vasco T. Vasconcelos,Gianluigi Zavattaro +11 more
TL;DR: This study introduces SCC, a process calculus that features explicit notions of service definition, service invocation and session handling, and presents syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives.
Journal ArticleDOI
Type checking a multithreaded functional language with session types
TL;DR: A language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static type checking, and formalizes the syntax, semantics and type checking system of the language, and proves subject reduction and runtime type safety theorems.
Proceedings ArticleDOI
Modular session types for distributed object-oriented programming
TL;DR: Static typing guarantees that both sequences of messages on channels, and sequences of method calls on objects, conform to type-theoretic specifications, thus ensuring type-safety, for a small distributed class-based object-oriented language.
Proceedings ArticleDOI
Disciplining Orchestration and Conversation in Service-Oriented Computing
TL;DR: A formal account of a calculus for modeling service-based systems, suitable to describe both service composition and the protocol that services run when invoked, and an application of bisimilarity to prove equivalence among services is given.