Process algebra with asynchronous communication mechanisms
Jan Aldert Bergstra, Jan Willem Klop, John Vivian Tucker · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1984
Algebraic specifications are given for a stimulus-response mechanism, for asynchronous non-order-preserving send and receive actions and for asynchronous order-preserving send and receive statements.(,, 1 i= //, b q t=:p . . 1 bC(f J2., bq ' :> 1980