Nr. 424 (1992): PB-424 On the Action Semantics of Concurrent Programming Languages