António Ravara

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
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

2017
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

2016
Foreword.
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

2015
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

2014
Foreword.
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

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

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

2011
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

2010
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

2008
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

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

2006
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

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

2003
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

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

1999
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

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


  Loading...