Pierre America

From MaRDI portal
Person:753942

Available identifiers

zbMath Open america.pierreMaRDI QIDQ753942

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q45482172004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44302992003-10-20Paper
Reasoning about dynamically evolving process structures1995-09-10Paper
A layered semantics for a parallel object-oriented language1992-09-27Paper
Proving total correctness of recursive procedures1990-01-01Paper
Solving reflexive domain equations in a category of complete metric spaces1989-01-01Paper
Issues in the design of a parallel object-oriented language1989-01-01Paper
Denotational semantics of a parallel object-oriented language1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38154631988-01-01Paper
Designing equivalent semantic models for process creation1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30302371987-01-01Paper

Research outcomes over time

This page was built for person: Pierre America

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