Author:
Meseguer José,Talcott Carolyn
Publisher
Springer Berlin Heidelberg
Reference79 articles.
1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.
2. G. Agha and C. Callsen. Actorspace: An open distributed programming paradigm. In Proc. ACM Symp. on Principles and Practice of Parallel Programming (PPOPP), volume (28:7), pages 23–32, July 1993.
3. G. Agha, S. Frølund, W. Kim, R. Panwar, A. Patterson, and D. Sturman. Abstraction and modularity mechanisms for concurrent computing. IEEE Parallel and Distributed Technology: Systems and Applications, 1(2):3–14, May 1993.
4. G. Agha, S. Frølund, R. Panwar, and D. Sturman. A linguistic framework for dynamic composition of dependability protocols. In Proceedings of the 3rd IFIP Working Conference on Dependable Computing for Critical Applications, Sept. 1992.
5. W. E. Aitken, R. L. Constable, and J. L. Underwood. Metalogical frameworks II: Using reflected decision procedures. Technical Report, Computer Sci. Dept., Cornell University, 1993; also, lecture at the Max Planck Institut für Informatik, Saarbrücken, Germany, July 1993.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Building Correct-by-Construction Systems with Formal Patterns;Recent Trends in Algebraic Development Techniques;2023
2. A Formal Model of Metacontrol in Maude;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
3. Theoretical Considerations: Inferring and Enforcing Use Patterns for Mobile Cloud Assurance;Assured Cloud Computing;2018-12-20
4. Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications;Rewriting Logic and Its Applications;2016
5. Two Decades of Maude;Lecture Notes in Computer Science;2015