Using Reflection to Specify Transaction Sequences in Rewriting Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Equational Abstractions for Reducing the State Space of Rewrite Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Rewriting logic based performance estimation of embedded systems
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Twenty years of rewriting logic
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
On the use of real-time maude for architecture description and verification: a case study
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Hi-index | 0.00 |