Operational Semantics for PLEX: A Basis for Safe Parallelization (May 2008) Johan Lindhult
An Operational Semantics for the Execution of PLEX in a Shared Memory Architecture (Apr 2008) Johan Lindhult
Existing PLEX Code, and its Suitability for Parallel Execution - A Case Study (Apr 2008) Johan Lindhult
Sequential PLEX, and its Potential for Parallel Execution (Jul 2007) Johan Lindhult, Björn Lisper 13th International Workshop on Compilers for Parallel Computers, CPC 2007
Formal Semantics for PLEX (Oct 2005) Johan Lindhult, Björn Lisper 17th Nordic Workshop on Programming Theory, NWPT05
Two Formal Semantics for PLEX (Sep 2005) Johan Lindhult, Björn Lisper 3rd APPSEM II Workshop, APPSEM05