Author:
Denker Grit,Talcott Carolyn L.
Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. D. Dvorak, R. Rasmussen, G. Reeves, and A. Sacks. Software Architecture Themes In JPL's Mission Data System. In IEEE Aerospace Conference, USA, 2000
2. Principles of Maude;Clavel;Electronic Notes in Theoretical Computer Science,1996
3. Conditional rewriting logic as a unified model of concurrency;Meseguer;Theoretical Computer Science,1992
4. Rewriting logic and Maude: A wide-spectrum semantic framework for object-based distributed systems;Meseguer,2000
5. Manuel Clavel. Reflection in General Logics, Rewriting Logic, and Maude. PhD thesis University of Navarre, 1998
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10