Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems-Reference-Cited by-同舟云学术

Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems

Published:2000 Issue: Volume: Page:89-117
ISSN:1868-4238
Container-title:Formal Methods for Open Object-Based Distributed Systems IV
language:
Short-container-title:

Author:

Meseguer José

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35520-7_5

Reference73 articles.

1. R. Allen and D. Garlan. Formalizing architectural connection. InProceedings 16th International Conference on Software Engineering, 1994.

2. J. Van Baalen, J.L. Caldwell, and S. Mishra. Specifying and checking fault-tolerant agent-based protocols using Maude. InFormal Approaches to Agent-Based Systems, Lecture Notes in Computer Science, 2000. To appear.

3. H.G. Baker and C. Hewitt. Laws for communicating parallel processes. InProceedings of the 1977 IFIP Congress, pages 987–992. IFIP Press, 1977.

4. D. Basin, M. Clavel, and J. Meseguer. Rewriting logic as a metalogical framework. http://www.informatik.uni-freiburg.de/{\homedir}basin/pubs/pubs.html .

5. D. Basin and G. Denker. Maude versus haskell: an experimental comparison in security protocol analysis. Sumitted for publication, May 2000.

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

1. TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming;IEEE Internet of Things Journal;2024-06-15

2. Combined Use of PBMN and Rewriting Logic for Specification and Analysis of IoT Applications;Modelling and Implementation of Complex Systems;2022-10-13

3. A Survey of Practical Formal Methods for Security;Formal Aspects of Computing;2022-03-31

4. A Maude-Based Rewriting Approach to Model and Control System-of-Systems’ Resources Allocation;Advances in Model and Data Engineering in the Digitalization Era;2022

5. The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems;International Journal of Cooperative Information Systems;2014-08-14