A Rewriting Logic Sampler-Reference-Cited by-同舟云学术

A Rewriting Logic Sampler

Published:2005 Issue: Volume: Page:1-28
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing – ICTAC 2005
language:
Short-container-title:

Author:

Meseguer José

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11560647_1

Reference109 articles.

1. Agha, G., Gunter, C., Greenwald, M., Khanna, S., Meseguer, J., Sen, K., Thati, P.: Formal modeling and analysis of DoS using probabilistic rewrite theories. In: Workshop on Foundations of Computer Security (FCS 2005) (Affiliated with LICS 2005) (2005)

2. Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: 3rd Workshop on Quantitative Aspects of Programming Languages, QAPL 2005 (2005)

3. Ahrendt, W., Roth, A., Sasse, R.: Automatic validation of transformation rules for Java verification against a rewriting semantics (June 2005) (manuscript)

4. Basin, D., Clavel, M., Meseguer, J.: Reflective metalogical frameworks. ACM Transactions on Computational Logic (2004)

5. Lecture Notes in Computer Science;D. Basin,2000

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

1. A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing;Recent Trends in Algebraic Development Techniques;2013

2. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10

3. Twenty Years of Rewriting Logic;Rewriting Logic and Its Applications;2010

4. A rewriting logic approach to operational semantics;Information and Computation;2009-02

5. Cyber-Physical Systems and Events;Software-Intensive Systems and New Computing Paradigms;2008