Gerardo Costa

From MaRDI portal
Person:760417

Available identifiers

zbMath Open costa.gerardoMaRDI QIDQ760417

List of research outcomes





PublicationDate of PublicationType
Specification of abstract dynamic-data types: A temporal logic approach1998-07-22Paper
https://portal.mardi4nfdi.de/entity/Q40352311993-05-18Paper
Weak and strong fairness in CCS1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36771591985-01-01Paper
A fair calculus of communicating systems1984-01-01Paper
Distributive semantics for nondeterministic typed \(\lambda\)-calculi1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33434201984-01-01Paper
The insensitivity theorem for nonreducing reflexive types1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36662671983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33197651982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39548071981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39120041980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39125681980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38885211980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32063091979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41396471977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47757961973-01-01Paper

Research outcomes over time

This page was built for person: Gerardo Costa

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:760417&oldid=6989621"
Powered by MediaWiki