for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru...  Home/Search
Context
Related
| higashi.ist.osaka...va2004_revised.pdf 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: higashi.ist.osakau....researche (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the development of real-time (communicating) hardware or embedded-software systems, it is frequently the case that we want to refine/optimize the system's internal behavior while preserving the external timed I/O behavior (that is, the interface protocol). In such a design refinement, modification of the systems' internal branching structures, as well as re-scheduling of internal actions, may frequently occur. Our goal is, then, to ensure that such branch optimization and re-scheduling ... (Update)
Active bibliography (related documents): More All
0.5: Local and Symbolic Bisimulation using Tabled.. - Basu, Mukund.. (2001) (Correct)
0.5: Including General Equilibrium Theory into FDTs: A First Approach - Nunez (Correct)
0.0: Parametric Temporal Logic for "Model Measuring" - Alur, Etessami, Torre, Peled (1999) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ time-interval-global,
author = "For Parametric Time-Interval",
title = "A Global Timed Bisimulation Preserving Abstraction",
url = "citeseer.ist.psu.edu/743007.html" }
Citations (may not include all citations):149 Testing equivalence for processes (context) - de Nicola, Hennessy - 1984
109 Theoretical Computer Science (context) - Hennessy, Lin - 1995
75 Parametric real-time reasoning - Alur, Henzinger et al. - 1993
36 The observational power of clocks - Alur, Courcoubetis et al. - 1994
30 Time abstracted bisimulation: Implicit specifications and de.. - Larsen, Wang - 1993
16 Symbolic transition graph with assignment - Lin - 1996
12 Parametric timing analysis for real-time systems (context) - Wang - 1996
2 Computing strongweak bisimulation equivalence and observatio.. (context) - Computing, bisimulation et al. - 1999
2 Global timed bisimulation: An introduction (context) - de Frutos, opez et al. - 1999
1 Building models of real-time systems from application softwa.. - Sifakis, Tripakis et al. - 2003
1 On inspection and verification of software with timing requi.. (context) - Xu - 2003
Documents on the same site (http://www-higashi.ist.osaka-u.ac.jp/~nakata/research-e.html): More
Time-Action Alternating Model for - Timed Lotos And (Correct)
Protocol Synthesis from Timed and Structured Specifications - Akio Nakata Teruo (1995) (Correct)
Symbolic Bisimulation Checking and Decomposition of Real-Time.. - Nakata (1997) (Correct)
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