Pierre America

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
scientific article; zbMATH DE number 1787171 (Why is no real title available?)	2004-03-07	Paper
scientific article; zbMATH DE number 1988972 (Why is no real title available?)	2003-10-20	Paper
Reasoning about dynamically evolving process structures Formal Aspects of Computing	1995-09-10	Paper
A layered semantics for a parallel object-oriented language Formal Aspects of Computing	1992-09-27	Paper
Proving total correctness of recursive procedures Information and Computation	1990-01-01	Paper
Solving reflexive domain equations in a category of complete metric spaces Journal of Computer and System Sciences	1989-01-01	Paper
Issues in the design of a parallel object-oriented language Formal Aspects of Computing	1989-01-01	Paper
Denotational semantics of a parallel object-oriented language Information and Computation	1989-01-01	Paper
scientific article; zbMATH DE number 4085874 (Why is no real title available?)	1988-01-01	Paper
Designing equivalent semantic models for process creation Theoretical Computer Science	1988-01-01	Paper
scientific article; zbMATH DE number 4018368 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Pierre America