Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude - Ölveczky, Peter Csaba; SpringerLink (Online service) (London : Springer London : Imprint: Springer, 2017)
Keywords: Software engineering; Computer simulation; Mathematical logic; Computer communication systems; Software Engineering; Simulation and Modeling; Mathematical Logic and Formal Languages; Computer Communication Networks