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 128 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL;Formal Aspects of Component Software;2024

2. Automated Quantum Program Verification in Dynamic Quantum Logic;Lecture Notes in Computer Science;2024

3. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way;ACM Transactions on Software Engineering and Methodology;2023-09-30

4. The Maude strategy language;Journal of Logical and Algebraic Methods in Programming;2023-08

5. A Layered and Parallelized Method of Eventual Model Checking;Information;2023-07-06