Search results for: Franck Pommereau
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 190-200
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > A Concurrent Semantics of Static Exceptions in a Parallel Programming Language > 204-223
Lecture Notes in Computer Science > Programming Languages and Systems > Session 7: Certification and Logic > 322-336
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 192-207
Lecture Notes in Computer Science > Computational Science - ICCS 2004 > Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2004) > 322-330
Procedia Engineering > 2016 > 163 > C > 123-135
The Journal of Supercomputing > 2014 > 69 > 2 > 629-672
Theoretical Computer Science > 2012 > 431 > Complete > 219-234