|
439
|
Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1
– J Meseguer
- 1992
|
|
157
|
Maude: Specification and Programming in Rewriting Logic
– M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada
- 2001
|
|
127
|
Membership Algebra as a Logical Framework for Equational Specification
– José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer
- 1998
|
|
134
|
A Logical Theory of Concurrent Objects and its Realization in the Maude Language
– J Meseguer
- 1993
|
|
10
|
Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic
– Peter Csaba Ölveczky
- 2000
|
|
13
|
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems
– Peter Csaba Ölveczky, José Meseguer, Peter Csaba
- 2000
|
|
31
|
Research Directions in Rewriting Logic
– José Meseguer
- 1998
|
|
49
|
Scalable Fair Reliable Multicast Using Active Services
– Sneha K. Kasera, Supratik Bhattacharyya, Mark Keaton, Diane Kiwior, Jim Kurose, Don Towsley, Steve Zabele
- 2000
|
|
173
|
Logics and Models of Real Time: A Survey
– Rajeev Alur, Thomas A. Henzinger
|
|
25
|
Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems
– J Meseguer
- 2000
|
|
1660
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
42
|
Model-checking continuous-time Markov chains
– A Aziz, K Sanwal, V Singhal, R Brayton
- 2000
|
|
37
|
Verifying Continuous-Time Markov Chains
– A Aziz, K Sanwal, V Singhal, R K Brayton
- 1996
|
|
172
|
Model Checking of Probabilistic and Nondeterministic Systems
– Andrea Bianco, Luca De Alfaro
- 1995
|
|
2026
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
32
|
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Lecture Notes
– M Clavel
- 2000
|
|
11
|
Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience
– G. Denker, et al.
- 2000
|
|
20
|
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
– Peter Csaba Ölveczky, Mark Keaton, Peter Csaba, José Meseguer, Carolyn Talcott, Steve Zabele
- 2001
|
|
180
|
Kronos: a verification tool for real-time systems
– S Yovine
- 1997
|
