publication venue for INTERPRETED COSY PROGRAMS: PROGRAMMING AND VERIFICATION. 1981 ON THE DESIGN OF CONCURRENT SYSTEMS. 1981 SYNCHRONIZATION CALCULUS FOR MESSAGE ORIENTED PROGRAMMING. 1981