Peter Csaba Olveczky, José Meseguer  Home/Search
Context Related
| sri.com/papers/realtim...realtime.ps.gz Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: sri.com/papers/realtime/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be specified as ordinary rewrite theories, and show that a wide range of real-time and hybrid system models, including object-oriented systems, timed automata [3], hybrid automata [2], timed and phase transition systems [25], and timed extensions of Petri nets [1,35], can indeed be expressed in rewriting logic quite... (Update)
Similar documents based on text: More All
0.7: Real-Time Maude: A Tool for Simulating and Analyzing.. - Ölveczky, Meseguer (2000) (Correct)
0.7: Specifying Real-Time Systems in Rewriting Logic - Ölveczky, Meseguer (1996) (Correct)
0.6: Rewriting Logic as a Unifying Framework for Petri Nets - Stehr, Meseguer, Csaba (2001) (Correct)
BibTeX entry: (Update)
P. C. Olveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science, 2001. This volume. http: //maude.csl.sri.com/papers. http://citeseer.ist.psu.edu/article/olveczky00specification.html More
@misc{ olveczky01specification,
author = "P. Olveczky and J. Meseguer",
title = "Specification of real-time and hybrid systems in rewriting logic",
text = "P. C. Olveczky and J. Meseguer. Specification of real-time and hybrid systems
in rewriting logic. Theoretical Computer Science, 2001. This volume. http:
//maude.csl.sri.com/papers.",
year = "2001",
url = "citeseer.ist.psu.edu/article/olveczky00specification.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
232 Category Theory for Computing Science (context) - Barr, Wells - 1999
211 HyTech: A model checker for hybrid systems - Henzinger, Ho et al. - 1997
173 Order-sorted algebra I: equational deduction for multiple in.. - Goguen, Meseguer - 1992
143 Foundations of Constructive Mathematics (context) - Beeson - 1985
127 General logics (context) - Meseguer - 1989
97 Information and Computation (context) - Meseguer, Montanari et al. - 1990
91 Rewriting logic as a semantic framework for concurrency: a p.. - Meseguer - 1996
87 volume 4 of EATCS monographs on Theoretical Computer Science (context) - Reisig - 1985
78 Conditional rewriting logic as a unied model of concurrency (context) - Meseguer - 1992
69 Membership algebra as a logical framework for equational spe.. - Meseguer - 1998
57 Models for reactivity - Manna, Pnueli - 1993
44 Maude: Specication and Programming in Rewriting Logic (context) - Clavel, Duran et al. - 1999
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC