What is branching time semantics and why to use it?:
Abstract: "The concept of branching time in the semantics of concurrent systems is well known and well understood. Still a formal definition of what it means for a model or equivalence to respect branching time has never explicitly be [sic] given. This note proposes such a definition. Additiona...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
1993
|
| Schriftenreihe: | Stanford University / Computer Science Department: Report STAN CS
1486 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The concept of branching time in the semantics of concurrent systems is well known and well understood. Still a formal definition of what it means for a model or equivalence to respect branching time has never explicitly be [sic] given. This note proposes such a definition. Additionally the opportunity is taken to voice an old but poorly understood argument for using branching time semantics instead of models or equivalences that are fully abstract with respect to some notion of observability." |
| Beschreibung: | 8 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009041463 | ||
| 003 | DE-604 | ||
| 005 | 19990318 | ||
| 007 | t | ||
| 008 | 940227s1993 |||| 00||| eng d | ||
| 035 | |a (OCoLC)31371877 | ||
| 035 | |a (DE-599)BVBBV009041463 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Glabbeek, Rob van |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a What is branching time semantics and why to use it? |c R. J. van Glabbeek |
| 264 | 1 | |a Stanford, Calif. |c 1993 | |
| 300 | |a 8 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 1486 | |
| 520 | 3 | |a Abstract: "The concept of branching time in the semantics of concurrent systems is well known and well understood. Still a formal definition of what it means for a model or equivalence to respect branching time has never explicitly be [sic] given. This note proposes such a definition. Additionally the opportunity is taken to voice an old but poorly understood argument for using branching time semantics instead of models or equivalences that are fully abstract with respect to some notion of observability." | |
| 650 | 4 | |a Concurrent programming | |
| 810 | 2 | |a Computer Science Department: Report STAN CS |t Stanford University |v 1486 |w (DE-604)BV008928280 |9 1486 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005982787 | ||
Datensatz im Suchindex
| _version_ | 1804123396265476096 |
|---|---|
| any_adam_object | |
| author | Glabbeek, Rob van |
| author_facet | Glabbeek, Rob van |
| author_role | aut |
| author_sort | Glabbeek, Rob van |
| author_variant | r v g rv rvg |
| building | Verbundindex |
| bvnumber | BV009041463 |
| ctrlnum | (OCoLC)31371877 (DE-599)BVBBV009041463 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01425nam a2200289 cb4500</leader><controlfield tag="001">BV009041463</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990318 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940227s1993 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31371877</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009041463</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></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Glabbeek, Rob van</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">What is branching time semantics and why to use it?</subfield><subfield code="c">R. J. van Glabbeek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">8 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">1486</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The concept of branching time in the semantics of concurrent systems is well known and well understood. Still a formal definition of what it means for a model or equivalence to respect branching time has never explicitly be [sic] given. This note proposes such a definition. Additionally the opportunity is taken to voice an old but poorly understood argument for using branching time semantics instead of models or equivalences that are fully abstract with respect to some notion of observability."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Concurrent programming</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">1486</subfield><subfield code="w">(DE-604)BV008928280</subfield><subfield code="9">1486</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005982787</subfield></datafield></record></collection> |
| id | DE-604.BV009041463 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:29:06Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005982787 |
| oclc_num | 31371877 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 8 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | Stanford University / Computer Science Department: Report STAN CS |
| spelling | Glabbeek, Rob van Verfasser aut What is branching time semantics and why to use it? R. J. van Glabbeek Stanford, Calif. 1993 8 S. txt rdacontent n rdamedia nc rdacarrier Stanford University / Computer Science Department: Report STAN CS 1486 Abstract: "The concept of branching time in the semantics of concurrent systems is well known and well understood. Still a formal definition of what it means for a model or equivalence to respect branching time has never explicitly be [sic] given. This note proposes such a definition. Additionally the opportunity is taken to voice an old but poorly understood argument for using branching time semantics instead of models or equivalences that are fully abstract with respect to some notion of observability." Concurrent programming Computer Science Department: Report STAN CS Stanford University 1486 (DE-604)BV008928280 1486 |
| spellingShingle | Glabbeek, Rob van What is branching time semantics and why to use it? Concurrent programming |
| title | What is branching time semantics and why to use it? |
| title_auth | What is branching time semantics and why to use it? |
| title_exact_search | What is branching time semantics and why to use it? |
| title_full | What is branching time semantics and why to use it? R. J. van Glabbeek |
| title_fullStr | What is branching time semantics and why to use it? R. J. van Glabbeek |
| title_full_unstemmed | What is branching time semantics and why to use it? R. J. van Glabbeek |
| title_short | What is branching time semantics and why to use it? |
| title_sort | what is branching time semantics and why to use it |
| topic | Concurrent programming |
| topic_facet | Concurrent programming |
| volume_link | (DE-604)BV008928280 |
| work_keys_str_mv | AT glabbeekrobvan whatisbranchingtimesemanticsandwhytouseit |