Return to Article Details A logical characterization of asynchronously communicating agents Download Download PDF