Vasco T. Vasconcelos

From MaRDI portal
Person:1352124

Available identifiers

zbMath Open vasconcelos.vasco-thudichumMaRDI QIDQ1352124

List of research outcomes





PublicationDate of PublicationType
Polymorphic higher-order context-free session types2024-05-08Paper
The different shades of infinite session types2024-01-23Paper
Asynchronous timed session types. From duality to time-sensitive processes2023-11-24Paper
System \(F^\mu_\omega\) with context-free session types2023-11-24Paper
Polymorphic lambda calculus with context-free session types2022-12-08Paper
Mixed Sessions2022-10-13Paper
Mixed sessions2021-12-01Paper
Deciding the Bisimilarity of Context-Free Session Types2021-11-10Paper
https://portal.mardi4nfdi.de/entity/Q49867412021-04-27Paper
The computational content of atomic polymorphism2019-11-04Paper
https://portal.mardi4nfdi.de/entity/Q45587832018-11-30Paper
Context-free session types2017-05-10Paper
The stream-based service-centred calculus: a foundation for service-oriented programming2016-08-05Paper
Linearity, session types and the Pi calculus2016-07-28Paper
Modular session types for objects2016-01-07Paper
Modular session types for distributed object-oriented programming2015-06-11Paper
Lexically scoped distribution: what you see is what you get2013-08-27Paper
Fundamentals of session types2012-10-11Paper
An algebra of behavioural types2012-05-24Paper
A Linear Account of Session Types in the Pi Calculus2010-08-31Paper
Linear type theory for asynchronous session types2010-03-17Paper
Type checking a multithreaded functional language with session types2007-01-22Paper
https://portal.mardi4nfdi.de/entity/Q34133742007-01-04Paper
Trustworthy Global Computing2006-11-01Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
Lambda and pi calculi, CAM and SECD machines2005-04-05Paper
https://portal.mardi4nfdi.de/entity/Q45366212002-12-02Paper
Communication errors in the \(\pi\)-calculus are undecidable2002-07-25Paper
https://portal.mardi4nfdi.de/entity/Q45369902002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q45188812000-12-03Paper
https://portal.mardi4nfdi.de/entity/Q49371172000-02-03Paper
https://portal.mardi4nfdi.de/entity/Q42230191999-01-10Paper
Unification of kinded infinite trees1997-02-27Paper

Research outcomes over time

This page was built for person: Vasco T. Vasconcelos