The action graph model as a link between abstract relation algebras and process-algebraic specifications:
Abstract: "Relational algebra in the sense of Schroder and Tarski has been thoroughly studied by mathematicians from the universal algebraic viewpoint and some research has shown many applications of the relational calculus in the fields of graph theory and computer science. This paper addresse...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
München
1992
|
| Schriftenreihe: | Technische Universität <München>: TUM-I
9207 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Relational algebra in the sense of Schroder and Tarski has been thoroughly studied by mathematicians from the universal algebraic viewpoint and some research has shown many applications of the relational calculus in the fields of graph theory and computer science. This paper addresses the field of process-algebraic languages, which are used for the specification and verification of communicating systems. The construction of a bridge from process algebra to relational algebra is investigated. A process-algebraic language is propounded by adding a parallelism operator to the structure of relational algebra; its semantics is given by the action graph model The action graph model follows the interpretation of concurrent processes by finite partial orders and, technically, it is constructed by viewing relation algebras as boolean algebras with operators. It establishes a correspondence between relational algebra with parallelism operator and a process algebra, which, in particular, carries an additional combinator playing the role of 'undo'. |
| Beschreibung: | 17 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009008851 | ||
| 003 | DE-604 | ||
| 005 | 20040414 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)27742834 | ||
| 035 | |a (DE-599)BVBBV009008851 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Gritzner, Thomas F. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The action graph model as a link between abstract relation algebras and process-algebraic specifications |c Thomas F. Gritzner |
| 264 | 1 | |a München |c 1992 | |
| 300 | |a 17 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9207 | |
| 490 | 1 | |a Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |v 1992,6 | |
| 520 | 3 | |a Abstract: "Relational algebra in the sense of Schroder and Tarski has been thoroughly studied by mathematicians from the universal algebraic viewpoint and some research has shown many applications of the relational calculus in the fields of graph theory and computer science. This paper addresses the field of process-algebraic languages, which are used for the specification and verification of communicating systems. The construction of a bridge from process algebra to relational algebra is investigated. A process-algebraic language is propounded by adding a parallelism operator to the structure of relational algebra; its semantics is given by the action graph model | |
| 520 | 3 | |a The action graph model follows the interpretation of concurrent processes by finite partial orders and, technically, it is constructed by viewing relation algebras as boolean algebras with operators. It establishes a correspondence between relational algebra with parallelism operator and a process algebra, which, in particular, carries an additional combinator playing the role of 'undo'. | |
| 650 | 4 | |a Concurrent programming | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 810 | 2 | |a A |t Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht |v 1992,6 |w (DE-604)BV004627888 |9 1992,6 | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9207 |w (DE-604)BV006185376 |9 9207 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005955323 | ||
Datensatz im Suchindex
| _version_ | 1804123356022177792 |
|---|---|
| any_adam_object | |
| author | Gritzner, Thomas F. |
| author_facet | Gritzner, Thomas F. |
| author_role | aut |
| author_sort | Gritzner, Thomas F. |
| author_variant | t f g tf tfg |
| building | Verbundindex |
| bvnumber | BV009008851 |
| ctrlnum | (OCoLC)27742834 (DE-599)BVBBV009008851 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02357nam a2200337 cb4500</leader><controlfield tag="001">BV009008851</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040414 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27742834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009008851</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">Gritzner, Thomas F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The action graph model as a link between abstract relation algebras and process-algebraic specifications</subfield><subfield code="c">Thomas F. Gritzner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 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">Technische Universität <München>: TUM-I</subfield><subfield code="v">9207</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A</subfield><subfield code="v">1992,6</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Relational algebra in the sense of Schroder and Tarski has been thoroughly studied by mathematicians from the universal algebraic viewpoint and some research has shown many applications of the relational calculus in the fields of graph theory and computer science. This paper addresses the field of process-algebraic languages, which are used for the specification and verification of communicating systems. The construction of a bridge from process algebra to relational algebra is investigated. A process-algebraic language is propounded by adding a parallelism operator to the structure of relational algebra; its semantics is given by the action graph model</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The action graph model follows the interpretation of concurrent processes by finite partial orders and, technically, it is constructed by viewing relation algebras as boolean algebras with operators. It establishes a correspondence between relational algebra with parallelism operator and a process algebra, which, in particular, carries an additional combinator playing the role of 'undo'.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Concurrent programming</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">A</subfield><subfield code="t">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht</subfield><subfield code="v">1992,6</subfield><subfield code="w">(DE-604)BV004627888</subfield><subfield code="9">1992,6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9207</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9207</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005955323</subfield></datafield></record></collection> |
| id | DE-604.BV009008851 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:28Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005955323 |
| oclc_num | 27742834 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 17 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |
| spelling | Gritzner, Thomas F. Verfasser aut The action graph model as a link between abstract relation algebras and process-algebraic specifications Thomas F. Gritzner München 1992 17 S. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9207 Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A 1992,6 Abstract: "Relational algebra in the sense of Schroder and Tarski has been thoroughly studied by mathematicians from the universal algebraic viewpoint and some research has shown many applications of the relational calculus in the fields of graph theory and computer science. This paper addresses the field of process-algebraic languages, which are used for the specification and verification of communicating systems. The construction of a bridge from process algebra to relational algebra is investigated. A process-algebraic language is propounded by adding a parallelism operator to the structure of relational algebra; its semantics is given by the action graph model The action graph model follows the interpretation of concurrent processes by finite partial orders and, technically, it is constructed by viewing relation algebras as boolean algebras with operators. It establishes a correspondence between relational algebra with parallelism operator and a process algebra, which, in particular, carries an additional combinator playing the role of 'undo'. Concurrent programming Parallel programming (Computer science) A Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht 1992,6 (DE-604)BV004627888 1992,6 Technische Universität <München>: TUM-I 9207 (DE-604)BV006185376 9207 |
| spellingShingle | Gritzner, Thomas F. The action graph model as a link between abstract relation algebras and process-algebraic specifications Technische Universität <München>: TUM-I Concurrent programming Parallel programming (Computer science) |
| title | The action graph model as a link between abstract relation algebras and process-algebraic specifications |
| title_auth | The action graph model as a link between abstract relation algebras and process-algebraic specifications |
| title_exact_search | The action graph model as a link between abstract relation algebras and process-algebraic specifications |
| title_full | The action graph model as a link between abstract relation algebras and process-algebraic specifications Thomas F. Gritzner |
| title_fullStr | The action graph model as a link between abstract relation algebras and process-algebraic specifications Thomas F. Gritzner |
| title_full_unstemmed | The action graph model as a link between abstract relation algebras and process-algebraic specifications Thomas F. Gritzner |
| title_short | The action graph model as a link between abstract relation algebras and process-algebraic specifications |
| title_sort | the action graph model as a link between abstract relation algebras and process algebraic specifications |
| topic | Concurrent programming Parallel programming (Computer science) |
| topic_facet | Concurrent programming Parallel programming (Computer science) |
| volume_link | (DE-604)BV004627888 (DE-604)BV006185376 |
| work_keys_str_mv | AT gritznerthomasf theactiongraphmodelasalinkbetweenabstractrelationalgebrasandprocessalgebraicspecifications |