Gerardo Costa

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
Specification of abstract dynamic-data types: A temporal logic approach Theoretical Computer Science	1998-07-22	Paper
scientific article; zbMATH DE number 176130 (Why is no real title available?)	1993-05-18	Paper
Weak and strong fairness in CCS Information and Computation	1987-01-01	Paper
scientific article; zbMATH DE number 3898220 (Why is no real title available?)	1985-01-01	Paper
A fair calculus of communicating systems Acta Informatica	1984-01-01	Paper
Distributive semantics for nondeterministic typed \(\lambda\)-calculi Theoretical Computer Science	1984-01-01	Paper
scientific article; zbMATH DE number 3878339 (Why is no real title available?)	1984-01-01	Paper
The insensitivity theorem for nonreducing reflexive types Journal of Computer and System Sciences	1983-01-01	Paper
scientific article; zbMATH DE number 3819093 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3850462 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3774872 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3723839 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3724430 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3694576 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3648114 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3567994 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3451769 (Why is no real title available?)	1973-01-01	Paper

Research outcomes over time

This page was built for person: Gerardo Costa