The safety-progress classification:
Abstract: "We propose a classification of temporal properties into a hierarchy, called the safety-progress classification. The classes of the hierarchy are characterized through four views: a language-theoretic view, a topological view, a temporal logic view, and an automata view. In the topolo...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Stanford, Calif.
1992
|
| Series: | Stanford University / Computer Science Department: Report STAN CS
1408 |
| Subjects: | |
| Summary: | Abstract: "We propose a classification of temporal properties into a hierarchy, called the safety-progress classification. The classes of the hierarchy are characterized through four views: a language-theoretic view, a topological view, a temporal logic view, and an automata view. In the topological view, the considered hierarchy coincides with the two lower levels of the Borel hierarchy, starting with the closed and open sets. For properties that are expressible by temporal logic and automata, we provide syntactic characterizations of the formulas and automata that correspond to properties in the different classes. We relate this classification to the well-known safety-liveness classification, and show that in some sense the two are orthogonal to one another." |
| Physical Description: | 59 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008993183 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)27937406 | ||
| 035 | |a (DE-599)BVBBV008993183 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 050 | 0 | |a QA76.54 | |
| 100 | 1 | |a Chang, Edward |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The safety-progress classification |c by Edward Chang ; Zohar Manna ; Amir Pnueli |
| 264 | 1 | |a Stanford, Calif. |c 1992 | |
| 300 | |a 59 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Stanford University / Computer Science Department: Report STAN CS |v 1408 | |
| 520 | 3 | |a Abstract: "We propose a classification of temporal properties into a hierarchy, called the safety-progress classification. The classes of the hierarchy are characterized through four views: a language-theoretic view, a topological view, a temporal logic view, and an automata view. In the topological view, the considered hierarchy coincides with the two lower levels of the Borel hierarchy, starting with the closed and open sets. For properties that are expressible by temporal logic and automata, we provide syntactic characterizations of the formulas and automata that correspond to properties in the different classes. We relate this classification to the well-known safety-liveness classification, and show that in some sense the two are orthogonal to one another." | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Real-time programming | |
| 700 | 1 | |a Manna, Zohar |d 1939-2018 |e Verfasser |0 (DE-588)128838248 |4 aut | |
| 700 | 1 | |a Pnueli, Amir |e Verfasser |4 aut | |
| 810 | 2 | |a Computer Science Department: Report STAN CS |t Stanford University |v 1408 |w (DE-604)BV008928280 |9 1408 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005942006 | ||
Record in the Search Index
| _version_ | 1804123335694483456 |
|---|---|
| any_adam_object | |
| author | Chang, Edward Manna, Zohar 1939-2018 Pnueli, Amir |
| author_GND | (DE-588)128838248 |
| author_facet | Chang, Edward Manna, Zohar 1939-2018 Pnueli, Amir |
| author_role | aut aut aut |
| author_sort | Chang, Edward |
| author_variant | e c ec z m zm a p ap |
| building | Verbundindex |
| bvnumber | BV008993183 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.54 |
| callnumber-search | QA76.54 |
| callnumber-sort | QA 276.54 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)27937406 (DE-599)BVBBV008993183 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01895nam a2200337 cb4500</leader><controlfield tag="001">BV008993183</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27937406</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008993183</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.54</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chang, Edward</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The safety-progress classification</subfield><subfield code="c">by Edward Chang ; Zohar Manna ; Amir Pnueli</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">59 S.</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">Stanford University / Computer Science Department: Report STAN CS</subfield><subfield code="v">1408</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We propose a classification of temporal properties into a hierarchy, called the safety-progress classification. The classes of the hierarchy are characterized through four views: a language-theoretic view, a topological view, a temporal logic view, and an automata view. In the topological view, the considered hierarchy coincides with the two lower levels of the Borel hierarchy, starting with the closed and open sets. For properties that are expressible by temporal logic and automata, we provide syntactic characterizations of the formulas and automata that correspond to properties in the different classes. We relate this classification to the well-known safety-liveness classification, and show that in some sense the two are orthogonal to one another."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Manna, Zohar</subfield><subfield code="d">1939-2018</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128838248</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pnueli, Amir</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Computer Science Department: Report STAN CS</subfield><subfield code="t">Stanford University</subfield><subfield code="v">1408</subfield><subfield code="w">(DE-604)BV008928280</subfield><subfield code="9">1408</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005942006</subfield></datafield></record></collection> |
| id | DE-604.BV008993183 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:08Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005942006 |
| oclc_num | 27937406 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 59 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | Stanford University / Computer Science Department: Report STAN CS |
| spelling | Chang, Edward Verfasser aut The safety-progress classification by Edward Chang ; Zohar Manna ; Amir Pnueli Stanford, Calif. 1992 59 S. txt rdacontent n rdamedia nc rdacarrier Stanford University / Computer Science Department: Report STAN CS 1408 Abstract: "We propose a classification of temporal properties into a hierarchy, called the safety-progress classification. The classes of the hierarchy are characterized through four views: a language-theoretic view, a topological view, a temporal logic view, and an automata view. In the topological view, the considered hierarchy coincides with the two lower levels of the Borel hierarchy, starting with the closed and open sets. For properties that are expressible by temporal logic and automata, we provide syntactic characterizations of the formulas and automata that correspond to properties in the different classes. We relate this classification to the well-known safety-liveness classification, and show that in some sense the two are orthogonal to one another." Logic, Symbolic and mathematical Real-time programming Manna, Zohar 1939-2018 Verfasser (DE-588)128838248 aut Pnueli, Amir Verfasser aut Computer Science Department: Report STAN CS Stanford University 1408 (DE-604)BV008928280 1408 |
| spellingShingle | Chang, Edward Manna, Zohar 1939-2018 Pnueli, Amir The safety-progress classification Logic, Symbolic and mathematical Real-time programming |
| title | The safety-progress classification |
| title_auth | The safety-progress classification |
| title_exact_search | The safety-progress classification |
| title_full | The safety-progress classification by Edward Chang ; Zohar Manna ; Amir Pnueli |
| title_fullStr | The safety-progress classification by Edward Chang ; Zohar Manna ; Amir Pnueli |
| title_full_unstemmed | The safety-progress classification by Edward Chang ; Zohar Manna ; Amir Pnueli |
| title_short | The safety-progress classification |
| title_sort | the safety progress classification |
| topic | Logic, Symbolic and mathematical Real-time programming |
| topic_facet | Logic, Symbolic and mathematical Real-time programming |
| volume_link | (DE-604)BV008928280 |
| work_keys_str_mv | AT changedward thesafetyprogressclassification AT mannazohar thesafetyprogressclassification AT pnueliamir thesafetyprogressclassification |