António Ravara

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Typestates to automata and back: a tool (available as arXiv preprint)	2022-01-10	Paper
Typestates to automata and back: a tool	2022-01-10	Paper
A simple functional presentation and an inductive correctness proof of the Horn algorithm (available as arXiv preprint)	2021-12-17	Paper
A simple functional presentation and an inductive correctness proof of the Horn algorithm	2021-12-17	Paper
Behavioural types for memory and method safety in a core object-oriented language (available as arXiv preprint)	2021-07-08	Paper
Session types as generic process types (available as arXiv preprint)	2021-06-23	Paper
Session types as generic process types	2021-06-23	Paper
Revisiting concurrent separation logic Journal of Logical and Algebraic Methods in Programming	2017-05-29	Paper
Towards static deadlock resolution in the -calculus Trustworthy Global Computing	2016-11-09	Paper
The stream-based service-centred calculus: a foundation for service-oriented programming Formal Aspects of Computing	2016-08-05	Paper
Modular session types for objects Logical Methods in Computer Science	2016-01-07	Paper
Modular session types for distributed object-oriented programming Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
Lexically scoped distribution: what you see is what you get	2013-08-27	Paper
An algebra of behavioural types Information and Computation	2012-05-24	Paper
Encoding cryptographic primitives in a calculus with polyadic synchronisation Journal of Automated Reasoning	2011-06-03	Paper
Type checking a multithreaded functional language with session types Theoretical Computer Science	2007-01-22	Paper
Typing the behavior of software components using session types	2007-01-04	Paper
CONCUR 2004 - Concurrency Theory Lecture Notes in Computer Science	2005-08-23	Paper
scientific article; zbMATH DE number 1759630 (Why is no real title available?)	2002-12-02	Paper
Communication errors in the \(\pi\)-calculus are undecidable Information Processing Letters	2002-07-25	Paper
scientific article; zbMATH DE number 1760051 (Why is no real title available?)	2002-06-25	Paper

Research outcomes over time

This page was built for person: António Ravara