3 ms·
I like Maude a lot. I recommend Peter Olveczky's book Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
by sriram_malhar 6y ago
I like Maude a lot. I recommend Peter Olveczky's book
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude