scientific article; zbMATH DE number 1515853
From MaRDI portal
Publication:4508933
Recommendations
- scientific article; zbMATH DE number 1615226
- scientific article; zbMATH DE number 1569122
- Two case studies of semantics execution in Maude: CCS and LOTOS
- Maude: specification and programming in rewriting logic
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
Cited in
(14)- scientific article; zbMATH DE number 4033050 (Why is no real title available?)
- Two case studies of semantics execution in Maude: CCS and LOTOS
- A Maude specification of an object-oriented model for telecommunication networks
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
- Specification of real-time and hybrid systems in rewriting logic
- Rewriting logic as a framework for generic verification tools
- Plan in Maude specifying an active network programming language
- Specifying and Analyzing the Kademlia Protocol in Maude
- Symbolic reasoning methods in rewriting logic and Maude
- scientific article; zbMATH DE number 1569122 (Why is no real title available?)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Maude versus Haskell: An experimental comparison in security protocol analysis
- scientific article; zbMATH DE number 1615226 (Why is no real title available?)
- Rewriting semantics of meta-objects and composable distributed services
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508933)
