PMaude: Rewrite-based Specification Language for Probabilistic Object Systems-Reference-Cited by-同舟云学术

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Published:2006-05 Issue:2 Volume:153 Page:213-239
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Agha Gul,Meseguer José,Sen Koushik

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference33 articles.

1. Verifying continuous-time Markov chains;Aziz,1996

2. Actors: A Model of Concurrent Computation;Agha,1986

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

4. A foundation for actor computation;Agha;Journal of Functional Programming,1997

5. M. Astley and G.A. Agha. Customization and composition of distributed objects: middleware abstractions for policy management. In SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, pages 1–9, 1998

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

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

2. Statistical Model Checking for Entanglement Swapping in Quantum Networks;Lecture Notes in Computer Science;2024

3. Business processes resource management using rewriting logic and deep-learning-based predictive monitoring;Journal of Logical and Algebraic Methods in Programming;2024-01

4. Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic;Lecture Notes in Computer Science;2024

5. Teaching an Advanced Maude-Based Formal Methods Course in Oslo;Lecture Notes in Computer Science;2024