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

Published: 1990-04-01

Articles