Rewriting semantics of production rule sets-Reference-Cited by-同舟云学术

Rewriting semantics of production rule sets

Published:2012-10 Issue:7-8 Volume:81 Page:929-956
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Katelman Michael,Keller Sean,Meseguer José

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference31 articles.

1. PMaude: rewrite-based specification language for probabilistic object systems;Agha;Electron. Notes Theoret. Comput. Sci.,2006

2. PVeStA: a parallel statistical model checking and quantitative analysis tool;AlTurki,2011

3. P.A. Beerel, J.R. Burch, T.H.-Y. Meng, Sufficient conditions for correct gate-level speed-independent circuits, in: Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994, pp. 33–43.

4. Symbolic model checking for sequential circuit verification;Burch;IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.,1994

5. All About Maude – A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic;Clavel,2007

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modelling and verification of post-quantum key encapsulation mechanisms using Maude;PeerJ Computer Science;2023-09-19

2. Analysis and verification of code-based key encapsulation mechanism BIKE in Maude;2023 JNIC Cybersecurity Conference (JNIC);2023-06-21

3. On the Susceptibility of QDI Circuits to Transient Faults;Lecture Notes in Computer Science;2023

4. Canonical Narrowing for Variant-Based Conditional Rewrite Theories;Formal Methods and Software Engineering;2022

5. Programming and symbolic computation in Maude;Journal of Logical and Algebraic Methods in Programming;2020-01