Nr. 208 (1986): PB-208 A Calculus of Communicating Systems with Label Passing

Publiceret: 1986-05-01