An Qutline of the SMoLCS Approach.

Published in: Mathematical Models for the Semantics of Parallelism (1986)