Alan Jeffrey, Steve Schneider, Frits Vaandrager  Home/Search
Context Related
| cwi.nl/pub/CWIreports/A...CSR9366.ps.Z Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: cwi.nl/cwi/publications...CS1993 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper discusses some axioms from the literature which have been used to define properties of timed transition systems. The additivity axiom proposed by (amongst others) Wang, and Nicollin and Sifakis is compared with the trajectory axiom of Lynch and Vaandrager. Some conditions for an additive transition system to be trajectoried are discussed. These are proved sufficient by using some simple terminology from category theory to show how this problem about timed transition systems can be... (Update)
Context of citations to this paper: More
...step can be filled in with states for each intervening time, in a consistent way. For a further discussion of this axiom we refer to [30, 21]. 4.2 Timed Traces Executions of timed automata correspond to what are called sampling computations in [31] they provide information...
...ranged over by a and b, and a distinguished action 62 Delta. Let Act = Delta [ fg, be the set of actions, ranged over by and . Following [13], we define a monoid (X; 0) to be: ffl left cancellative iff (x y = x z) y = z) and ffl anti symmetric iff (x y = 0)...
Cited by: More
Action Transducers and Timed Automata - Lynch, Vandrager (1996) (Correct)
Forward and Backward Simulations - Part II: Timing-Based Systems - Lynch, Vandraager (1995) (Correct)
A Complete Axiomatization of Timed Bisimulation for a Class.. - Aceto, Jeffrey (1994) (Correct)
Similar documents (at the sentence level):
55.5%: A Comparison of Additivity Axioms in Timed Transition.. - Jeffrey, Schneider.. (1993) (Correct)
Active bibliography (related documents): More All
0.3: PARTY: A Process Algebra with Real-Time from YORK - Ho-Stuart, Zedan, Fang, Holt (1992) (Correct)
0.2: An Operational Semantics for Timed CSP - Schneider (1995) (Correct)
0.2: Broadcasting in Time - Prasad (1995) (Correct)
Similar documents based on text: More All
0.2: DAVID GRIFFIOEN and FRITS VAANDRAGER - University Of Nijmegen (Correct)
0.2: Control Synthesis for a Smart Card Personalization.. - Gebremichael, Vaandrager (2003) (Correct)
0.2: CombiTool - A New Computer Program for Analyzing.. - Dreßler, Müller, Sühnel (Correct)
Related documents from co-citation: More All
9: A temporal calculus of communicating systems (context) - Moller, Tofts - 1990
9: Real-time behaviour of asynchronous agents (context) - Wang - 1990
8: An overview and synthesis on timed process algebras (context) - Nicollin, Sifakis - 1992
BibTeX entry: (Update)
A. Jeffrey, S. Schneider, and F. Vaandrager. A comparison of additivity axioms in timed transition systems. Technical Report CS-R9366, Centre for Mathematics and Computer Science (1993) http://citeseer.ist.psu.edu/article/jeffrey93comparison.html More
@incollection{ jeffrey93comparison,
author = "Alan S. A. Jeffrey and Steve A. Schneider and Frits W. Vaandrager",
title = "A Comparison of Additivity Axioms in Timed Transition Systems.",
booktitle = "87",
month = "31",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 0169-118X",
pages = "19",
year = "1993",
url = "citeseer.ist.psu.edu/article/jeffrey93comparison.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
186 A temporal calculus of communicating systems (context) - Moller, Tofts - 1990
155 Real time process algebra (context) - Baeten, Bergstra - 1991 DBLP
98 Forward and backward simulations Part II: Timing-based syste.. - Lynch, Vaandrager - 1993 ACM
91 A calculus for communicating systems with time and probabili.. (context) - Hansson - 1991
84 The algebra of timed processes ATP: theory and application - Nicollin, Sifakis - 1991
70 A process algebra for timed systems (context) - Hennessy, Regan - 1991 ACM DBLP
44 An operational semantics for timed CSP - Schneider ACM DBLP
35 An interleaving model for real-time systems (context) - Chen - 1991 ACM DBLP
29 Action transducers and timed automata (context) - Vaandrager, Lynch - 1992 ACM DBLP
24 Department of Computer Sciences (context) - Yi, of et al. - 1991
20 Timed process algebras with urgent interactions and a unique.. (context) - Bolognesi, Lucidi - 1992 ACM DBLP
16 Abstractions of time - Hehner - 1993 ACM
16 A theory of testing for real-time (context) - Cleaveland, Zwarico - 1992 DBLP
13 logic and computation (context) - van Benthem - 1989 ACM
10 Notes on logic and set theory (context) - Johnstone - 1987 ACM
7 TIC: A timed calculus for LOTOS (context) - Quemada, Azcorra et al. - 1990 DBLP
5 Observation spaces and timed processes (context) - Jeffrey - 1991
3 Operational semantics for timed observations (context) - Ortega-Mall'en - 1992 ACM DBLP
2 PARTY: A process algebra with real-time from York - Ho-Stuart, Zedan et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://ftp.cwi.nl/cwi/publications/reports/CS-1993.html): More
Generalizing Finiteness Conditions of Labelled Transition Systems - van Breugel (1993) (Correct)
Transforming Acyclic Programs - Bossi, Etalle (1993) (Correct)
A Proof Procedure for Extended Logic Programs - Teusink (1993) (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