Vasco T. Vasconcelos

Available identifiers

zbMath Open vasconcelos.vasco-thudichumMaRDI QIDQ1352124

List of research outcomes

Publication	Date of Publication	Type
Polymorphic higher-order context-free session types	2024-05-08	Paper
The different shades of infinite session types	2024-01-23	Paper
Asynchronous timed session types. From duality to time-sensitive processes	2023-11-24	Paper
System \(F^\mu_\omega\) with context-free session types	2023-11-24	Paper
Polymorphic lambda calculus with context-free session types	2022-12-08	Paper
Mixed Sessions	2022-10-13	Paper
Mixed sessions	2021-12-01	Paper
Deciding the Bisimilarity of Context-Free Session Types	2021-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4986741	2021-04-27	Paper
The computational content of atomic polymorphism	2019-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4558783	2018-11-30	Paper
Context-free session types	2017-05-10	Paper
The stream-based service-centred calculus: a foundation for service-oriented programming	2016-08-05	Paper
Linearity, session types and the Pi calculus	2016-07-28	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
Fundamentals of session types	2012-10-11	Paper
An algebra of behavioural types	2012-05-24	Paper
A Linear Account of Session Types in the Pi Calculus	2010-08-31	Paper
Linear type theory for asynchronous session types	2010-03-17	Paper
Type checking a multithreaded functional language with session types	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3413374	2007-01-04	Paper
Trustworthy Global Computing	2006-11-01	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Lambda and pi calculi, CAM and SECD machines	2005-04-05	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
https://portal.mardi4nfdi.de/entity/Q4518881	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4937117	2000-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4223019	1999-01-10	Paper
Unification of kinded infinite trees	1997-02-27	Paper

Research outcomes over time

This page was built for person: Vasco T. Vasconcelos