António Ravara

According to our database1, António Ravara authored at least 38 papers between 1997 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 





A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm.
Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

Revisiting concurrent separation logic.
J. Log. Algebr. Meth. Program., 2017

From object-oriented code with assertions to behavioural types.
Proceedings of the Symposium on Applied Computing, 2017

Sci. Comput. Program., 2016

Preface to special issue: behavioural types.
Mathematical Structures in Computer Science, 2016

Preface to special issue: behavioural types.
Mathematical Structures in Computer Science, 2016

Automated verification of programs and Web systems.
J. Log. Algebr. Meth. Program., 2016

Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

From atomic variables to data-centric concurrency control.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Editorial for the JLAMP Special Issue on automated specification and verification of web systems.
J. Log. Algebr. Meth. Program., 2015

Modular Session Types for Objects
Logical Methods in Computer Science, 2015

Unlocking Blocked Communicating Processes.
Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

Revisiting Concurrent Separation Logic and Operational Semantics.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Sci. Comput. Program., 2014

The stream-based service-centred calculus: a foundation for service-oriented programming.
Formal Asp. Comput., 2014

Session Types as Generic Process Types.
Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, 2014

Towards Static Deadlock Resolution in the π-Calculus.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

An Algebra of Behavioural Types.
Inf. Comput., 2012

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation.
J. Autom. Reasoning, 2011

Behavioral Theory for Session-Oriented Calculi.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Advanced Mechanisms for Service Combination and Transactions.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Responsive Choice in Mobile Processes.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Modular session types for distributed object-oriented programming.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A simple proof system for lock-free concurrency.
Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

Encoding cryptographic primitives in a calculus with polyadic synchronization.
Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008

Dynamic Recovering of Long Running Transactions.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Disciplining Orchestration and Conversation in Service-Oriented Computing.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Type checking a multithreaded functional language with session types.
Theor. Comput. Sci., 2006

Typing the Behavior of Software Components using Session Types.
Fundam. Inform., 2006

SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Session Types for Functional Multithreading.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Typing the Behavior of Objects and Component Using Session Types.
Electr. Notes Theor. Comput. Sci., 2003

Lexically scoped distribution: what you see is what you get.
Electr. Notes Theor. Comput. Sci., 2003

Typing Non-uniform Concurrent Objects.
Proceedings of the CONCUR 2000, 2000

Communication Errors in the pi-Calculus are Undecidable.
Inf. Process. Lett., 1999

Semantics of Objects as Processes (SOAP).
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Behavioural Types for a Calculus of Concurrent Objects.
Proceedings of the Euro-Par '97 Parallel Processing, 1997