Juan José Pardo Mateo, Valentín Valero Ruiz  Home/Search
Context
Related
| infoab.uclm.es/secab/...diab010112.ps 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: infoab.uclm.es...chnical_reports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper is to de ne such a representation for a certain kind of terms, for which we obtain a nite graph. But, due to the special character of the internal action, which a ects to the behaviour of the hiding operator, and of course, due to the parallel operator, we have that this graph cannot be static, in the sense that we cannot get an explicit nite representation of the reachable states which allows us to de ne correctly all the operators. Then, following similar ideas to that used in... (Update)
Similar documents based on text: More All
1.3: A Dynamic State Graph for a Timed Process Algebra - Pardo, Valero, Cuartero, Ruiz (2000) (Correct)
1.1: Algebraic Theory of Probabilistic and Nondeterministic.. - Cazorla, Cuartero.. (2001) (Correct)
0.7: PCSP: A Denotational Model of Probabilistic Processes - Gómez, Escrig, Ruiz (1996) (Correct)
BibTeX entry: (Update)
@misc{ mateo-translating,
author = "Juan José Pardo Mateo and Valentín Valero Ruiz",
title = "Translating a Timed Process Algebra into Dynamic State Graphs.",
url = "citeseer.ist.psu.edu/mateo01translating.html" }
Citations (may not include all citations):186 A temporal calculus of communicating systems (context) - Moller, Tofts - 1990
126 A timed model for communicating sequential processes (context) - Reed, Roscoe - 1988
116 From atp to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1993
91 A calculus for communicating systems with time and probabili.. (context) - Hansson, Jonsson - 1990
44 An operational semantics for timed csp - Schneider - 1995
23 Transition system specications with negative premises (context) - Groote - 1993
20 Timed process algebras with urgent interactions and a unique.. (context) - Bolognesi, Lucidi - 1991
7 Specifying and verifying the alternating bit protocol with p.. (context) - Gregorio, nez - 1996
7 A theory of testing for soft realtime processes (context) - Cleaveland, Lee et al. - 1996
5 Deciding properties of timed transition models (context) - Ostro - 1990
4 Modeling timeouts and unreliable media with a timed probabil.. (context) - Hansson - 1992
3 En busca del tiempo perdido (context) - Ortega - 1990
3 Communicating real-time state machines (context) - Sahw - 1992
3 A timed calculus for lotos (context) - Quemada, Azcorra et al. - 1989
2 Specication and analysis of real-time systems: Modechart lan.. (context) - Mok, Stuart et al. - 1996
[Article contains additional citations not shown here]
Documents on the same site (http://www.info-ab.uclm.es/sec-ab/Tecrep/technical_reports.htm): More
A study of particular methods for the approximate.. - Aledo, Cortés, .. (Correct)
A comparative study between two general methods for.. - Aledo, Cortés, .. (Correct)
A Denotational Model for Probabilistic and.. - Cazorla, Cuartero.. (1998) (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