Concurrency semantics based on metric domain equations:
Abstract: "We show how domain equations may be solved in the category of complete metric spaces. For five example languages we demonstrate how to exploit domain equations in the design of their operational and denotational semantics. Two languages are schematic or uniform. Three have interprete...
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,54 |
| Subjects: | |
| Summary: | Abstract: "We show how domain equations may be solved in the category of complete metric spaces. For five example languages we demonstrate how to exploit domain equations in the design of their operational and denotational semantics. Two languages are schematic or uniform. Three have interpreted elementary actions involving individual variables and inducing state transformations. For the latter group we discuss three denotational models reflecting a variety in the language notions considered. A central theme is the distinction, within the nonuniform setting, of linear time versus branching time models Throughout, fruitful use is made of the technique of obtaining semantic mappings, operators etc. as fixed points of higher order functions. A brief discussion of the relationship between bisimulation and one of the domains considered concludes the paper. |
| Physical Description: | 26 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008949490 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1989 |||| 00||| eng d | ||
| 035 | |a (OCoLC)22643561 | ||
| 035 | |a (DE-599)BVBBV008949490 | ||
| 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 Concurrency semantics based on metric domain equations |c J. W. de Bakker ; J. J. M. M. Rutten |
| 264 | 1 | |a Amsterdam |c 1989 | |
| 300 | |a 26 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,54 | |
| 520 | 3 | |a Abstract: "We show how domain equations may be solved in the category of complete metric spaces. For five example languages we demonstrate how to exploit domain equations in the design of their operational and denotational semantics. Two languages are schematic or uniform. Three have interpreted elementary actions involving individual variables and inducing state transformations. For the latter group we discuss three denotational models reflecting a variety in the language notions considered. A central theme is the distinction, within the nonuniform setting, of linear time versus branching time models | |
| 520 | 3 | |a Throughout, fruitful use is made of the technique of obtaining semantic mappings, operators etc. as fixed points of higher order functions. A brief discussion of the relationship between bisimulation and one of the domains considered concludes the paper. | |
| 650 | 4 | |a Computer programming |x Semantics | |
| 650 | 4 | |a Parallel programming (Computer science) |x Semantics | |
| 700 | 1 | |a Rutten, Jan J. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 89,54 |w (DE-604)BV008928356 |9 89,54 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005905147 | ||
Record in the Search Index
| _version_ | 1804123282598789120 |
|---|---|
| any_adam_object | |
| author | Bakker, Jacobus W. de 1939-2012 Rutten, Jan J. |
| author_GND | (DE-588)1047965461 |
| author_facet | Bakker, Jacobus W. de 1939-2012 Rutten, Jan J. |
| author_role | aut aut |
| author_sort | Bakker, Jacobus W. de 1939-2012 |
| author_variant | j w d b jwd jwdb j j r jj jjr |
| building | Verbundindex |
| bvnumber | BV008949490 |
| ctrlnum | (OCoLC)22643561 (DE-599)BVBBV008949490 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02024nam a2200325 cb4500</leader><controlfield tag="001">BV008949490</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1989 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22643561</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008949490</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">Concurrency semantics based on metric domain equations</subfield><subfield code="c">J. W. de Bakker ; J. J. M. M. Rutten</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">26 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,54</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We show how domain equations may be solved in the category of complete metric spaces. For five example languages we demonstrate how to exploit domain equations in the design of their operational and denotational semantics. Two languages are schematic or uniform. Three have interpreted elementary actions involving individual variables and inducing state transformations. For the latter group we discuss three denotational models reflecting a variety in the language notions considered. A central theme is the distinction, within the nonuniform setting, of linear time versus branching time models</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Throughout, fruitful use is made of the technique of obtaining semantic mappings, operators etc. as fixed points of higher order functions. A brief discussion of the relationship between bisimulation and one of the domains considered concludes the paper.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rutten, Jan J.</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,54</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">89,54</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005905147</subfield></datafield></record></collection> |
| id | DE-604.BV008949490 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:18Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005905147 |
| oclc_num | 22643561 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 26 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| 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 Concurrency semantics based on metric domain equations J. W. de Bakker ; J. J. M. M. Rutten Amsterdam 1989 26 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 89,54 Abstract: "We show how domain equations may be solved in the category of complete metric spaces. For five example languages we demonstrate how to exploit domain equations in the design of their operational and denotational semantics. Two languages are schematic or uniform. Three have interpreted elementary actions involving individual variables and inducing state transformations. For the latter group we discuss three denotational models reflecting a variety in the language notions considered. A central theme is the distinction, within the nonuniform setting, of linear time versus branching time models Throughout, fruitful use is made of the technique of obtaining semantic mappings, operators etc. as fixed points of higher order functions. A brief discussion of the relationship between bisimulation and one of the domains considered concludes the paper. Computer programming Semantics Parallel programming (Computer science) Semantics Rutten, Jan J. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 89,54 (DE-604)BV008928356 89,54 |
| spellingShingle | Bakker, Jacobus W. de 1939-2012 Rutten, Jan J. Concurrency semantics based on metric domain equations Computer programming Semantics Parallel programming (Computer science) Semantics |
| title | Concurrency semantics based on metric domain equations |
| title_auth | Concurrency semantics based on metric domain equations |
| title_exact_search | Concurrency semantics based on metric domain equations |
| title_full | Concurrency semantics based on metric domain equations J. W. de Bakker ; J. J. M. M. Rutten |
| title_fullStr | Concurrency semantics based on metric domain equations J. W. de Bakker ; J. J. M. M. Rutten |
| title_full_unstemmed | Concurrency semantics based on metric domain equations J. W. de Bakker ; J. J. M. M. Rutten |
| title_short | Concurrency semantics based on metric domain equations |
| title_sort | concurrency semantics based on metric domain equations |
| topic | Computer programming Semantics Parallel programming (Computer science) Semantics |
| topic_facet | Computer programming Semantics Parallel programming (Computer science) Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bakkerjacobuswde concurrencysemanticsbasedonmetricdomainequations AT ruttenjanj concurrencysemanticsbasedonmetricdomainequations |