Action transducers and timed automata:
Abstract: "The timed automaton model of [29,30] is a general model for timing-based systems. A notion of timed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1994
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
9460 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The timed automaton model of [29,30] is a general model for timing-based systems. A notion of timed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be described in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems." |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010162059 | ||
| 003 | DE-604 | ||
| 005 | 19950428 | ||
| 007 | t | ||
| 008 | 950428s1994 |||| 00||| engod | ||
| 035 | |a (OCoLC)33099173 | ||
| 035 | |a (DE-599)BVBBV010162059 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Lynch, Nancy A. |d 1948- |e Verfasser |0 (DE-588)121919625 |4 aut | |
| 245 | 1 | 0 | |a Action transducers and timed automata |c N. A. Lynch ; F. W. Vaandrager |
| 264 | 1 | |a Amsterdam |c 1994 | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 9460 | |
| 520 | 3 | |a Abstract: "The timed automaton model of [29,30] is a general model for timing-based systems. A notion of timed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be described in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems." | |
| 650 | 4 | |a Real-time data processing | |
| 700 | 1 | |a Vaandrager, Frits W. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 9460 |w (DE-604)BV008928356 |9 94,60 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006748527 | ||
Datensatz im Suchindex
| _version_ | 1804124556763332608 |
|---|---|
| any_adam_object | |
| author | Lynch, Nancy A. 1948- Vaandrager, Frits W. |
| author_GND | (DE-588)121919625 |
| author_facet | Lynch, Nancy A. 1948- Vaandrager, Frits W. |
| author_role | aut aut |
| author_sort | Lynch, Nancy A. 1948- |
| author_variant | n a l na nal f w v fw fwv |
| building | Verbundindex |
| bvnumber | BV010162059 |
| ctrlnum | (OCoLC)33099173 (DE-599)BVBBV010162059 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01547nam a2200277 cb4500</leader><controlfield tag="001">BV010162059</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950428 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950428s1994 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33099173</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010162059</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lynch, Nancy A.</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121919625</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Action transducers and timed automata</subfield><subfield code="c">N. A. Lynch ; F. W. Vaandrager</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1994</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">9460</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The timed automaton model of [29,30] is a general model for timing-based systems. A notion of timed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be described in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaandrager, Frits W.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">9460</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">94,60</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006748527</subfield></datafield></record></collection> |
| id | DE-604.BV010162059 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006748527 |
| oclc_num | 33099173 |
| open_access_boolean | |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Lynch, Nancy A. 1948- Verfasser (DE-588)121919625 aut Action transducers and timed automata N. A. Lynch ; F. W. Vaandrager Amsterdam 1994 txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 9460 Abstract: "The timed automaton model of [29,30] is a general model for timing-based systems. A notion of timed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be described in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems." Real-time data processing Vaandrager, Frits W. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 9460 (DE-604)BV008928356 94,60 |
| spellingShingle | Lynch, Nancy A. 1948- Vaandrager, Frits W. Action transducers and timed automata Real-time data processing |
| title | Action transducers and timed automata |
| title_auth | Action transducers and timed automata |
| title_exact_search | Action transducers and timed automata |
| title_full | Action transducers and timed automata N. A. Lynch ; F. W. Vaandrager |
| title_fullStr | Action transducers and timed automata N. A. Lynch ; F. W. Vaandrager |
| title_full_unstemmed | Action transducers and timed automata N. A. Lynch ; F. W. Vaandrager |
| title_short | Action transducers and timed automata |
| title_sort | action transducers and timed automata |
| topic | Real-time data processing |
| topic_facet | Real-time data processing |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT lynchnancya actiontransducersandtimedautomata AT vaandragerfritsw actiontransducersandtimedautomata |