Twenty Years of Rewriting Logic-Reference-Cited by-同舟云学术

Twenty Years of Rewriting Logic

Published:2010 Issue: Volume: Page:15-17
ISSN:0302-9743
Container-title:Rewriting Logic and Its Applications
language:
Short-container-title:

Author:

Meseguer José

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16310-4_2

Reference10 articles.

1. Martí-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theoretical Computer Science 285, 121–154 (2002)

2. Lecture Notes in Computer Science;J. Meseguer,1991

3. Meseguer, J.: A logical theory of concurrent objects. In: ECOOP-OOPSLA 1990 Conference on Object-Oriented Programming, Ottawa, Canada, pp. 101–115. ACM, New York (October 1990)

4. Lecture Notes in Computer Science;J. Meseguer,1990

5. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)

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

1. MLIR: Scaling Compiler Infrastructure for Domain Specific Computation;2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2021-02-27

2. Automated Deduction and Knowledge Management in Geometry;Mathematics in Computer Science;2020-06-25

3. Verification of Multi-agent Systems with Timeouts for Migration and Communication;Theoretical Aspects of Computing – ICTAC 2019;2019

4. A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude;2013 International Symposium on Theoretical Aspects of Software Engineering;2013-07

5. Principles of proof scores in CafeOBJ;Theoretical Computer Science;2012-12