Vasco Thudichum 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
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
https://portal.mardi4nfdi.de/entity/Q2844042	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vasco Thudichum Vasconcelos