1. A green perspective on structured parallel programming;Danelutto,2015
2. Structured parallel programming: patterns for efficient computation;Mccool,2012
3. Models for concurrency;Winskel,1995
4. Petri nets, event structures and domains, part I;Nielsen;Theoretical Computer Science,1981
5. Event structures;Winskel,1985