scientific article; zbMATH DE number 1515853
From MaRDI portal
Publication:4508933
zbMATH Open0959.68527MaRDI QIDQ4508933FDOQ4508933
Authors: José Meseguer 
Publication date: 6 May 2001
Title of this publication is not available (Why is that?)
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.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (14)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Rewriting semantics of meta-objects and composable distributed services
Uses Software
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)
