P. Olveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science, 285(2):359--405, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
WRLA 2004 Preliminary Version - Towards Strategy Language Self-citation (Meseguer) (Correct)
No context found.
P. C. Olveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science, 285(2):359--405, 2002.
Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004) Self-citation (Meseguer) (Correct)
No context found.
P. C. Olveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science, 285:359--405, 2002.
Probabilistic Rewrite Theories - Kumar, Sen, Meseguer, Agha Self-citation (Meseguer) (Correct)
No context found.
Peter Csaba Olveczky and Jose Meseguer. Specification of real-time and hybrid systems in rewriting logic. To appear in Theoretical Computer Science, maude.csl.sri.com, 2000.
Rewriting Logic: Roadmap and Bibliography - Martí-Oliet, Meseguer (2001) (2 citations) Self-citation (Meseguer) (Correct)
.... some axioms A; 2) lambda calculi and combinatory re7 duction systems [218,192,193,295,292] 3) labeled transition systems [218] 4) grammars and string rewriting systems [218] 5) Petri nets, including place transition nets, contextual nets, algebraic nets, colored nets, and timed Petri nets [218,223,293,297,268,289]; 6) Gamma and the Chemical Abstract Machine [218] 7) CCS and LOTOS [230,208,314,45,89,311,309,201] 8) the calculus [316,292] 9) concurrent objects and actors [218,220,300,302,304] 10) the UNITY language [218] 11) concurrent graph rewriting [223] 12) dataflow [223] 13) neural ....
.... (9) concurrent objects and actors [218,220,300,302,304] 10) the UNITY language [218] 11) concurrent graph rewriting [223] 12) dataflow [223] 13) neural networks [223] 14) real time systems, including timed automata, timed transition systems, hybrid automata, and timed Petri nets [268,262]; and (15) the tile logic [146,147,135] model of synchronized concurrent computation [232,39,34,148] Since the above specifications of models of computation as rewrite theories are typically executable, this suggests that rewriting logic is a very flexible operational semantic framework to ....
Peter Csaba Olveczky and Jos'e Meseguer. Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science, 2001. This volume.
Specification and Analysis of the AER/NCA Active.. - Ölveczky, Keaton, .. (2001) Self-citation (Olveczky Meseguer) (Correct)
....(#, E ) an equational theory specifying the system s state space as an algebraic data type, and R a collection of rewrite rules specifying the system s local transitions. This specification style can be specialized to distributed real time and hybrid systems by using real time rewrite theories [15]. The Real Time Maude language and tool [14, 12] can then be used for specifying, simulating, and analyzing such systems. 2.1 Real Time Rewrite Theories In [15] we have proposed modeling real time and hybrid systems in rewriting logic as real time rewrite theories. These are rewrite theories ....
....transitions. This specification style can be specialized to distributed real time and hybrid systems by using real time rewrite theories [15] The Real Time Maude language and tool [14, 12] can then be used for specifying, simulating, and analyzing such systems. 2. 1 Real Time Rewrite Theories In [15] we have proposed modeling real time and hybrid systems in rewriting logic as real time rewrite theories. These are rewrite theories containing: a specification of a Time data type specifying the time domain; a sort System with no subsorts, and a free constructor : State # System ....
[Article contains additional citation context not shown here]
P. C. Olveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. To appear in Theoretical Computer Science. Available at http: //maude.csl.sri.com/papers, September 2000.
Maude: Specification and Programming in Rewriting Logic - Clavel, Durán.. (2001) (57 citations) Self-citation (Meseguer) (Correct)
....and to check coherence of rewrite theories are currently under development. Real Time Maude. Based on a notion of real time rewrite theory that can naturally represent many existing models of real time and hybrid systems, and that has a straightforward translation into an ordinary rewrite theory [58,56], Olveczky and Meseguer have developed an execution and analysis environment for specifications of real time and hybrid systems called RealTime Maude [57] This tool translates real time rewrite theories into Maude modules and can execute and analyze such theories by means of a library of ....
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.
Specification and Verification of the Tree Identify.. - Verdejo, Pita.. (2003) (2 citations) (Correct)
No context found.
P. Olveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science, 285(2):359--405, 2002.
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