Tilbage til artikeldetaljer A logical characterization of asynchronously communicating agents Download Download PDF