CEA LIST

Identifiers

No identifiers captured yet.

Papers (1)

1. From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation cs.PL · 2017 · author #10

Mentions

No mention provenance yet.

Frequent Coauthors

• Allan Blanchard (Univ. Orl\'eans 1 shared papers
• Cyber Systems 1 shared papers
• Flagstaff 1 shared papers
• France) 1 shared papers
• Fr\'ed\'eric Loulergue (Northern Arizona University 1 shared papers
• INSA Centre Val de Loire 1 shared papers
• Nikolai Kosmatov (Software Reliability Laboratory 1 shared papers
• School of Informatics Computing 1 shared papers
• USA) 1 shared papers