Tools for the construction of distributed systems Publication details Publisher: Ukjent You are here: Home Publications Report Tools for the construction of distributed systems