Bernard Paul Serpette

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
Relaxed operational semantics of concurrent programming languages	2021-04-27	Paper
Relaxed operational semantics of concurrent programming languages (available as arXiv preprint)	2021-04-27	Paper
Asynchronous and deterministic objects Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-11-11	Paper
Asynchronous sequential processes Information and Computation	2009-04-16	Paper
iRho: an imperative rewriting calculus Mathematical Structures in Computer Science	2008-08-15	Paper
Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves Journal of Automated Reasoning	2008-06-11	Paper
scientific article; zbMATH DE number 1848376 (Why is no real title available?)	2003-01-05	Paper
scientific article; zbMATH DE number 1696586 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1696775 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1692947 (Why is no real title available?)	2002-01-21	Paper

Research outcomes over time

This page was built for person: Bernard Paul Serpette