Nr. 309 (1990): PB-309 A logical characterization of asynchronously communicating agents

Publiceret: 1990-04-01

Articles