Relating state transformation semantics and predicate transformer semantics for parallel programs:
Abstract: "A state transformation semantics and a predicate transformer semantics for programs built from atomic actions, sequential composition, nondeterministic choice, parallel composition, atomisation, and recursion are presented. Both semantic models are derived from some SOS-style labelle...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1993
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
93,39 |
| Subjects: | |
| Summary: | Abstract: "A state transformation semantics and a predicate transformer semantics for programs built from atomic actions, sequential composition, nondeterministic choice, parallel composition, atomisation, and recursion are presented. Both semantic models are derived from some SOS-style labelled transition system. The state transformation semantics and the predicate transformer semantics are shown to be isomorphic extending results of Plotkin and Best." |
| Physical Description: | 20 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009034607 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940227s1993 |||| 00||| eng d | ||
| 035 | |a (OCoLC)31129818 | ||
| 035 | |a (DE-599)BVBBV009034607 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Breugel, Franck van |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Relating state transformation semantics and predicate transformer semantics for parallel programs |c F. van Breugel |
| 264 | 1 | |a Amsterdam |c 1993 | |
| 300 | |a 20 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 93,39 | |
| 520 | 3 | |a Abstract: "A state transformation semantics and a predicate transformer semantics for programs built from atomic actions, sequential composition, nondeterministic choice, parallel composition, atomisation, and recursion are presented. Both semantic models are derived from some SOS-style labelled transition system. The state transformation semantics and the predicate transformer semantics are shown to be isomorphic extending results of Plotkin and Best." | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 93,39 |w (DE-604)BV008928356 |9 93,39 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005977159 | ||
Record in the Search Index
| _version_ | 1804123388021571584 |
|---|---|
| any_adam_object | |
| author | Breugel, Franck van |
| author_facet | Breugel, Franck van |
| author_role | aut |
| author_sort | Breugel, Franck van |
| author_variant | f v b fv fvb |
| building | Verbundindex |
| bvnumber | BV009034607 |
| ctrlnum | (OCoLC)31129818 (DE-599)BVBBV009034607 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01484nam a2200289 cb4500</leader><controlfield tag="001">BV009034607</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940227s1993 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31129818</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009034607</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">Breugel, Franck van</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relating state transformation semantics and predicate transformer semantics for parallel programs</subfield><subfield code="c">F. van Breugel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">20 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">93,39</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A state transformation semantics and a predicate transformer semantics for programs built from atomic actions, sequential composition, nondeterministic choice, parallel composition, atomisation, and recursion are presented. Both semantic models are derived from some SOS-style labelled transition system. The state transformation semantics and the predicate transformer semantics are shown to be isomorphic extending results of Plotkin and Best."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</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">93,39</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">93,39</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005977159</subfield></datafield></record></collection> |
| id | DE-604.BV009034607 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:58Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005977159 |
| oclc_num | 31129818 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 20 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Breugel, Franck van Verfasser aut Relating state transformation semantics and predicate transformer semantics for parallel programs F. van Breugel Amsterdam 1993 20 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 93,39 Abstract: "A state transformation semantics and a predicate transformer semantics for programs built from atomic actions, sequential composition, nondeterministic choice, parallel composition, atomisation, and recursion are presented. Both semantic models are derived from some SOS-style labelled transition system. The state transformation semantics and the predicate transformer semantics are shown to be isomorphic extending results of Plotkin and Best." Parallel programming (Computer science) Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 93,39 (DE-604)BV008928356 93,39 |
| spellingShingle | Breugel, Franck van Relating state transformation semantics and predicate transformer semantics for parallel programs Parallel programming (Computer science) |
| title | Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title_auth | Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title_exact_search | Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title_full | Relating state transformation semantics and predicate transformer semantics for parallel programs F. van Breugel |
| title_fullStr | Relating state transformation semantics and predicate transformer semantics for parallel programs F. van Breugel |
| title_full_unstemmed | Relating state transformation semantics and predicate transformer semantics for parallel programs F. van Breugel |
| title_short | Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title_sort | relating state transformation semantics and predicate transformer semantics for parallel programs |
| topic | Parallel programming (Computer science) |
| topic_facet | Parallel programming (Computer science) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT breugelfranckvan relatingstatetransformationsemanticsandpredicatetransformersemanticsforparallelprograms |