View of Labelled transition system approach to distributed computing systems

Return to Article Details Labelled transition system approach to distributed computing systems Download Download PDF