Bisimulation semantics for concurrency with atomicity and action refinement:
Abstract: "A comparative semantic study is made of two notions in concurrency, viz. atomicity and action refinement. Parallel composition is modeled by interleaving, and refinement is taken in the version where actions are refined by atomized statements. The bisimulation domain used in the sema...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1992
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
92,10 |
| Subjects: | |
| Summary: | Abstract: "A comparative semantic study is made of two notions in concurrency, viz. atomicity and action refinement. Parallel composition is modeled by interleaving, and refinement is taken in the version where actions are refined by atomized statements. The bisimulation domain used in the semantic definitions is obtained as solution of a system of domain equations over complete metric spaces. Both operational and denotational models are developed, and their equivalence is established using higher- order techniques and Banach's fixed point theorem. The operational semantics for refinement is based on transition rules rather than on some form of syntactic substitution." |
| Physical Description: | 31 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009008737 | ||
| 003 | DE-604 | ||
| 005 | 19950427 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)28083131 | ||
| 035 | |a (DE-599)BVBBV009008737 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Bakker, Jacobus W. de |d 1939-2012 |e Verfasser |0 (DE-588)1047965461 |4 aut | |
| 245 | 1 | 0 | |a Bisimulation semantics for concurrency with atomicity and action refinement |c J. W. de Bakker ; E. P. de Vink |
| 264 | 1 | |a Amsterdam |c 1992 | |
| 300 | |a 31 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 92,10 | |
| 520 | 3 | |a Abstract: "A comparative semantic study is made of two notions in concurrency, viz. atomicity and action refinement. Parallel composition is modeled by interleaving, and refinement is taken in the version where actions are refined by atomized statements. The bisimulation domain used in the semantic definitions is obtained as solution of a system of domain equations over complete metric spaces. Both operational and denotational models are developed, and their equivalence is established using higher- order techniques and Banach's fixed point theorem. The operational semantics for refinement is based on transition rules rather than on some form of syntactic substitution." | |
| 650 | 4 | |a Concurrent programming | |
| 700 | 1 | |a Vink, E. P. de |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 92,10 |w (DE-604)BV008928356 |9 92,10 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005955224 | ||
Record in the Search Index
| _version_ | 1804123355868037120 |
|---|---|
| any_adam_object | |
| author | Bakker, Jacobus W. de 1939-2012 Vink, E. P. de |
| author_GND | (DE-588)1047965461 |
| author_facet | Bakker, Jacobus W. de 1939-2012 Vink, E. P. de |
| author_role | aut aut |
| author_sort | Bakker, Jacobus W. de 1939-2012 |
| author_variant | j w d b jwd jwdb e p d v epd epdv |
| building | Verbundindex |
| bvnumber | BV009008737 |
| ctrlnum | (OCoLC)28083131 (DE-599)BVBBV009008737 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01762nam a2200301 cb4500</leader><controlfield tag="001">BV009008737</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28083131</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009008737</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">Bakker, Jacobus W. de</subfield><subfield code="d">1939-2012</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047965461</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Bisimulation semantics for concurrency with atomicity and action refinement</subfield><subfield code="c">J. W. de Bakker ; E. P. de Vink</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">31 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">92,10</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A comparative semantic study is made of two notions in concurrency, viz. atomicity and action refinement. Parallel composition is modeled by interleaving, and refinement is taken in the version where actions are refined by atomized statements. The bisimulation domain used in the semantic definitions is obtained as solution of a system of domain equations over complete metric spaces. Both operational and denotational models are developed, and their equivalence is established using higher- order techniques and Banach's fixed point theorem. The operational semantics for refinement is based on transition rules rather than on some form of syntactic substitution."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Concurrent programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vink, E. P. de</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">92,10</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">92,10</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005955224</subfield></datafield></record></collection> |
| id | DE-604.BV009008737 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:28Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005955224 |
| oclc_num | 28083131 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 31 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bakker, Jacobus W. de 1939-2012 Verfasser (DE-588)1047965461 aut Bisimulation semantics for concurrency with atomicity and action refinement J. W. de Bakker ; E. P. de Vink Amsterdam 1992 31 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 92,10 Abstract: "A comparative semantic study is made of two notions in concurrency, viz. atomicity and action refinement. Parallel composition is modeled by interleaving, and refinement is taken in the version where actions are refined by atomized statements. The bisimulation domain used in the semantic definitions is obtained as solution of a system of domain equations over complete metric spaces. Both operational and denotational models are developed, and their equivalence is established using higher- order techniques and Banach's fixed point theorem. The operational semantics for refinement is based on transition rules rather than on some form of syntactic substitution." Concurrent programming Vink, E. P. de Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 92,10 (DE-604)BV008928356 92,10 |
| spellingShingle | Bakker, Jacobus W. de 1939-2012 Vink, E. P. de Bisimulation semantics for concurrency with atomicity and action refinement Concurrent programming |
| title | Bisimulation semantics for concurrency with atomicity and action refinement |
| title_auth | Bisimulation semantics for concurrency with atomicity and action refinement |
| title_exact_search | Bisimulation semantics for concurrency with atomicity and action refinement |
| title_full | Bisimulation semantics for concurrency with atomicity and action refinement J. W. de Bakker ; E. P. de Vink |
| title_fullStr | Bisimulation semantics for concurrency with atomicity and action refinement J. W. de Bakker ; E. P. de Vink |
| title_full_unstemmed | Bisimulation semantics for concurrency with atomicity and action refinement J. W. de Bakker ; E. P. de Vink |
| title_short | Bisimulation semantics for concurrency with atomicity and action refinement |
| title_sort | bisimulation semantics for concurrency with atomicity and action refinement |
| topic | Concurrent programming |
| topic_facet | Concurrent programming |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bakkerjacobuswde bisimulationsemanticsforconcurrencywithatomicityandactionrefinement AT vinkepde bisimulationsemanticsforconcurrencywithatomicityandactionrefinement |