A fully abstract model for concurrent nondeterministic processes based on posets with non-actions:
Abstract: "The aim is to propose a new model based on the posets with non-actions to describe the concurrent nondeterministic processes and investigate their properties. The algebra SAFP2 of structured finite processes with three main operations for specifying sequentiality, concurrency and non...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1990
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
90,31 |
| Subjects: | |
| Online Access: | Volltext |
| Summary: | Abstract: "The aim is to propose a new model based on the posets with non-actions to describe the concurrent nondeterministic processes and investigate their properties. The algebra SAFP2 of structured finite processes with three main operations for specifying sequentiality, concurrency and nondeterminism is introduced. Denotational semantics based on posets with non-actions is constructed for processes of SAFP2. Full abstractness of denotational semantics w.r.t. observational equivalence [symbol]+ and proposed operational Petri net semantics is established." |
| Physical Description: | 42 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008950520 | ||
| 003 | DE-604 | ||
| 005 | 20220221 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 00||| eng d | ||
| 035 | |a (OCoLC)24021552 | ||
| 035 | |a (DE-599)BVBBV008950520 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a Cherkasova, Ludmila |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A fully abstract model for concurrent nondeterministic processes based on posets with non-actions |c L. Cherkasova |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 42 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 90,31 | |
| 520 | 3 | |a Abstract: "The aim is to propose a new model based on the posets with non-actions to describe the concurrent nondeterministic processes and investigate their properties. The algebra SAFP2 of structured finite processes with three main operations for specifying sequentiality, concurrency and nondeterminism is introduced. Denotational semantics based on posets with non-actions is constructed for processes of SAFP2. Full abstractness of denotational semantics w.r.t. observational equivalence [symbol]+ and proposed operational Petri net semantics is established." | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a Petri nets | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 90,31 |w (DE-604)BV008928356 |9 90,31 | |
| 856 | 4 | 1 | |u https://ir.cwi.nl/pub/5690 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005906083 | ||
Record in the Search Index
| _version_ | 1804123283927334912 |
|---|---|
| any_adam_object | |
| author | Cherkasova, Ludmila |
| author_facet | Cherkasova, Ludmila |
| author_role | aut |
| author_sort | Cherkasova, Ludmila |
| author_variant | l c lc |
| building | Verbundindex |
| bvnumber | BV008950520 |
| collection | ebook |
| ctrlnum | (OCoLC)24021552 (DE-599)BVBBV008950520 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01779nam a2200337 cb4500</leader><controlfield tag="001">BV008950520</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220221 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1990 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24021552</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008950520</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><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cherkasova, Ludmila</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A fully abstract model for concurrent nondeterministic processes based on posets with non-actions</subfield><subfield code="c">L. Cherkasova</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">42 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">90,31</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The aim is to propose a new model based on the posets with non-actions to describe the concurrent nondeterministic processes and investigate their properties. The algebra SAFP2 of structured finite processes with three main operations for specifying sequentiality, concurrency and nondeterminism is introduced. Denotational semantics based on posets with non-actions is constructed for processes of SAFP2. Full abstractness of denotational semantics w.r.t. observational equivalence [symbol]+ and proposed operational Petri net semantics is established."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</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">90,31</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,31</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://ir.cwi.nl/pub/5690</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005906083</subfield></datafield></record></collection> |
| id | DE-604.BV008950520 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:19Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005906083 |
| oclc_num | 24021552 |
| open_access_boolean | 1 |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 42 S. |
| psigel | ebook |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Cherkasova, Ludmila Verfasser aut A fully abstract model for concurrent nondeterministic processes based on posets with non-actions L. Cherkasova Amsterdam 1990 42 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 90,31 Abstract: "The aim is to propose a new model based on the posets with non-actions to describe the concurrent nondeterministic processes and investigate their properties. The algebra SAFP2 of structured finite processes with three main operations for specifying sequentiality, concurrency and nondeterminism is introduced. Denotational semantics based on posets with non-actions is constructed for processes of SAFP2. Full abstractness of denotational semantics w.r.t. observational equivalence [symbol]+ and proposed operational Petri net semantics is established." Parallel processing (Electronic computers) Petri nets Erscheint auch als Online-Ausgabe Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 90,31 (DE-604)BV008928356 90,31 https://ir.cwi.nl/pub/5690 Verlag kostenfrei Volltext |
| spellingShingle | Cherkasova, Ludmila A fully abstract model for concurrent nondeterministic processes based on posets with non-actions Parallel processing (Electronic computers) Petri nets |
| title | A fully abstract model for concurrent nondeterministic processes based on posets with non-actions |
| title_auth | A fully abstract model for concurrent nondeterministic processes based on posets with non-actions |
| title_exact_search | A fully abstract model for concurrent nondeterministic processes based on posets with non-actions |
| title_full | A fully abstract model for concurrent nondeterministic processes based on posets with non-actions L. Cherkasova |
| title_fullStr | A fully abstract model for concurrent nondeterministic processes based on posets with non-actions L. Cherkasova |
| title_full_unstemmed | A fully abstract model for concurrent nondeterministic processes based on posets with non-actions L. Cherkasova |
| title_short | A fully abstract model for concurrent nondeterministic processes based on posets with non-actions |
| title_sort | a fully abstract model for concurrent nondeterministic processes based on posets with non actions |
| topic | Parallel processing (Electronic computers) Petri nets |
| topic_facet | Parallel processing (Electronic computers) Petri nets |
| url | https://ir.cwi.nl/pub/5690 |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT cherkasovaludmila afullyabstractmodelforconcurrentnondeterministicprocessesbasedonposetswithnonactions |