1. Concurrency versus interleaving: An instructive example;Castellano;Bull. Eur. Assoc. Theoret. Comput. Sci.,1987
2. Semi-commutations;Clerbout,1995
3. Synchronization languages;Clerbout;Theoret. Comput. Sci.,1999
4. Govindarajan, R., Guo, L., Yu, S., and Wang, P.1991, ParC project: Practical constructs for parallel programming languages, inProc. IEEE 15th Annual Internationnal Computer Software and Applications Conference, pp. 183–189.
5. Guo, L., Salomaa, K., and Yu, S.1994, Synchronization expressions and languages, inProc. 6th Symposium on Parallel and Distributed Processing, pp. 257–264.