António Ravara

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5019693	2022-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q3384905	2021-12-17	Paper
Behavioural types for memory and method safety in a core object-oriented language	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4995157	2021-06-23	Paper
Revisiting concurrent separation logic	2017-05-29	Paper
Towards Static Deadlock Resolution in the $$\pi $$-Calculus	2016-11-09	Paper
The stream-based service-centred calculus: a foundation for service-oriented programming	2016-08-05	Paper
Modular session types for objects	2016-01-07	Paper
Modular session types for distributed object-oriented programming	2015-06-11	Paper
Lexically scoped distribution: what you see is what you get	2013-08-27	Paper
An algebra of behavioural types	2012-05-24	Paper
Encoding cryptographic primitives in a calculus with polyadic synchronisation	2011-06-03	Paper
Type checking a multithreaded functional language with session types	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3413374	2007-01-04	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4536621	2002-12-02	Paper
Communication errors in the $\pi$-calculus are undecidable	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536990	2002-06-25	Paper

This page was built for person: António Ravara