Refinement in branching time semantics:
Abstract: "In this paper we consider branching time semantics for finite sequential processes with silent moves. We show that Milner's notion of observation equivalence is not preserved under refinement of actions, even when no interleaving operators are considered; however, the authors�...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1989
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
89,22 |
| Subjects: | |
| Summary: | Abstract: "In this paper we consider branching time semantics for finite sequential processes with silent moves. We show that Milner's notion of observation equivalence is not preserved under refinement of actions, even when no interleaving operators are considered; however, the authors' notion of branching bisimulation is." |
| Physical Description: | 6 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009257905 | ||
| 003 | DE-604 | ||
| 005 | 19990318 | ||
| 007 | t | ||
| 008 | 940313s1989 |||| 00||| eng d | ||
| 035 | |a (OCoLC)22431600 | ||
| 035 | |a (DE-599)BVBBV009257905 | ||
| 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 Refinement in branching time semantics |c R. J. van Glabbeek, W. P. Weijland |
| 264 | 1 | |a Amsterdam |c 1989 | |
| 300 | |a 6 S. | ||
| 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 89,22 | |
| 520 | 3 | |a Abstract: "In this paper we consider branching time semantics for finite sequential processes with silent moves. We show that Milner's notion of observation equivalence is not preserved under refinement of actions, even when no interleaving operators are considered; however, the authors' notion of branching bisimulation is." | |
| 650 | 4 | |a Sequential processing (Computer science) | |
| 700 | 1 | |a Weijland, W. P. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 89,22 |w (DE-604)BV008928356 |9 89,22 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006160015 | ||
Record in the Search Index
| _version_ | 1804123704931647488 |
|---|---|
| any_adam_object | |
| author | Glabbeek, Rob van Weijland, W. P. |
| author_facet | Glabbeek, Rob van Weijland, W. P. |
| author_role | aut aut |
| author_sort | Glabbeek, Rob van |
| author_variant | r v g rv rvg w p w wp wpw |
| building | Verbundindex |
| bvnumber | BV009257905 |
| ctrlnum | (OCoLC)22431600 (DE-599)BVBBV009257905 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01360nam a2200301 cb4500</leader><controlfield tag="001">BV009257905</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990318 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1989 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22431600</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009257905</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">Refinement in branching time semantics</subfield><subfield code="c">R. J. van Glabbeek, W. P. Weijland</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">6 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">89,22</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper we consider branching time semantics for finite sequential processes with silent moves. We show that Milner's notion of observation equivalence is not preserved under refinement of actions, even when no interleaving operators are considered; however, the authors' notion of branching bisimulation is."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sequential processing (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weijland, W. P.</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">89,22</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">89,22</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006160015</subfield></datafield></record></collection> |
| id | DE-604.BV009257905 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:34:00Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006160015 |
| oclc_num | 22431600 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 6 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Glabbeek, Rob van Verfasser aut Refinement in branching time semantics R. J. van Glabbeek, W. P. Weijland Amsterdam 1989 6 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 89,22 Abstract: "In this paper we consider branching time semantics for finite sequential processes with silent moves. We show that Milner's notion of observation equivalence is not preserved under refinement of actions, even when no interleaving operators are considered; however, the authors' notion of branching bisimulation is." Sequential processing (Computer science) Weijland, W. P. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 89,22 (DE-604)BV008928356 89,22 |
| spellingShingle | Glabbeek, Rob van Weijland, W. P. Refinement in branching time semantics Sequential processing (Computer science) |
| title | Refinement in branching time semantics |
| title_auth | Refinement in branching time semantics |
| title_exact_search | Refinement in branching time semantics |
| title_full | Refinement in branching time semantics R. J. van Glabbeek, W. P. Weijland |
| title_fullStr | Refinement in branching time semantics R. J. van Glabbeek, W. P. Weijland |
| title_full_unstemmed | Refinement in branching time semantics R. J. van Glabbeek, W. P. Weijland |
| title_short | Refinement in branching time semantics |
| title_sort | refinement in branching time semantics |
| topic | Sequential processing (Computer science) |
| topic_facet | Sequential processing (Computer science) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT glabbeekrobvan refinementinbranchingtimesemantics AT weijlandwp refinementinbranchingtimesemantics |