Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
A Maude specification of an object-oriented model for telecommunication networks
Theoretical Computer Science - Rewriting logic and its applications
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Formal Methods in System Design
Writing and executing ODP computational viewpoint specifications using Maude
Computer Standards & Interfaces
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
A Graphical User Interface for Maude-NPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Checklists for Remote Agent Dependability
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Based on a Formal Model of Distributed Object Reflection
Electronic Notes in Theoretical Computer Science (ENTCS)
The pathalyzer: a tool for analysis of signal transduction pathways
RECOMB'05 Proceedings of the 2005 joint annual satellite conference on Systems biology and regulatory genomics
Model-checking DoS amplification for VoIP session initiation
ESORICS'09 Proceedings of the 14th European conference on Research in computer security
Twenty years of rewriting logic
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A formal library of set relations and its application to synchronous languages
Theoretical Computer Science
Hi-index | 0.00 |