Twenty years of rewriting logic-Reference-Cited by-同舟云学术

Twenty years of rewriting logic

Published:2012-10 Issue:7-8 Volume:81 Page:721-781
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:

Meseguer José

Publisher

Elsevier BV

Subject

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

Reference476 articles.

1. It usually works: the temporal logic of stochastic systems;Aziz,1995

2. Quantitative and probabilistic modeling in pathway logic;Abate,2007

3. Actors;Agha,1986

4. G.A. Agha, M. Greenwald, C.A. Gunter, S. Khanna, J. Meseguer, K. Sen, P. Thati, Formal modeling and analysis of DoS using probabilistic rewrite theories, in: A. Sabelfeld (Ed.), Proceedings of the Workshop on Foundations of Computer Security, FCS’05, (Affiliated with LICS’05), Chicago, IL, June 30–July 1, 2005, 2005, pp. 91–102.

5. PMaude: rewrite-based specification language for probabilistic object systems;Agha,2006

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

1. Maude2Lean: Theorem proving for Maude specifications using Lean;Journal of Logical and Algebraic Methods in Programming;2025-01

2. Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

3. Programming Open Distributed Systems in Maude;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

4. Multifaceted Formal Methods and their Interdisciplinary Role — from the Cathedral of ‘Components as Coalgebras’ to the HCI Context and the Open Source Software Bazaar;Journal of Logical and Algebraic Methods in Programming;2024-09

5. Detecção de conflitos diretos em redes IoT utilizando o Maude;Anais do V Workshop Brasileiro de Lógica (WBL 2024);2024-07-21