On the observational semantics of fair parallelism

On the observational semantics of fair parallelism

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Darondeau, Ph, Kott, L.
Format: Buchkapitel
Sprache:eng
Schlagworte:
Action Demand
Asynchronous System
Atomic Agent
Operational Semantic
Parallel Composition
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 159
container_issue
container_start_page 147
container_title
container_volume
creator Darondeau, Ph
Kott, L.
description
doi_str_mv 10.1007/BFb0036905
format Book Chapter
fullrecord <record><control><sourceid>springer</sourceid><recordid>TN_cdi_springer_books_10_1007_BFb0036905</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>springer_books_10_1007_BFb0036905</sourcerecordid><originalsourceid>FETCH-LOGICAL-s186t-85038b8fc2b93b9e98dea79c6ea90a8a7db1849987c89a2b817adb000c15717d3</originalsourceid><addsrcrecordid>eNpFUE1Lw0AUXL_AWHvxF-zRS_S9fUl231FLq0KhFz2Ht8lGo2lSssHfb4qCcxmGgWFmlLpBuEMAe_-48QBUMOQn6oryDLJZOj5VCRaIKVHGZ2rJ1h09NIQWzlUCBCZlm9GlWsb4CTPIYI6UKLPr9fQR9OBjGL9laodeOh3DXvqpraIeGt1IO-qDjNJ1oWvj_lpdNNLFsPzjhXrbrF9Xz-l29_SyetimEV0xpS6fm3nXVMYzeQ7s6iCWqyIIgzixtUeXMTtbORbjHVqp53VQYW7R1rRQt7-58TC2_XsYSz8MX7FEKI9flP9f0A9UkEtH</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>On the observational semantics of fair parallelism</title><source>Springer Books</source><creator>Darondeau, Ph ; Kott, L.</creator><contributor>Diaz, Josep</contributor><creatorcontrib>Darondeau, Ph ; Kott, L. ; Diaz, Josep</creatorcontrib><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540123170</identifier><identifier>ISBN: 3540123172</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540400389</identifier><identifier>EISBN: 9783540400387</identifier><identifier>DOI: 10.1007/BFb0036905</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Action Demand ; Asynchronous System ; Atomic Agent ; Operational Semantic ; Parallel Composition</subject><ispartof>Automata, Languages and Programming, 1983, p.147-159</ispartof><rights>Springer-Verlag Berlin Heidelberg 1983</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/BFb0036905$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/BFb0036905$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>779,780,784,793,27924,38254,41441,42510</link.rule.ids></links><search><contributor>Diaz, Josep</contributor><creatorcontrib>Darondeau, Ph</creatorcontrib><creatorcontrib>Kott, L.</creatorcontrib><title>On the observational semantics of fair parallelism</title><title>Automata, Languages and Programming</title><subject>Action Demand</subject><subject>Asynchronous System</subject><subject>Atomic Agent</subject><subject>Operational Semantic</subject><subject>Parallel Composition</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540123170</isbn><isbn>3540123172</isbn><isbn>3540400389</isbn><isbn>9783540400387</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>1983</creationdate><recordtype>book_chapter</recordtype><sourceid/><recordid>eNpFUE1Lw0AUXL_AWHvxF-zRS_S9fUl231FLq0KhFz2Ht8lGo2lSssHfb4qCcxmGgWFmlLpBuEMAe_-48QBUMOQn6oryDLJZOj5VCRaIKVHGZ2rJ1h09NIQWzlUCBCZlm9GlWsb4CTPIYI6UKLPr9fQR9OBjGL9laodeOh3DXvqpraIeGt1IO-qDjNJ1oWvj_lpdNNLFsPzjhXrbrF9Xz-l29_SyetimEV0xpS6fm3nXVMYzeQ7s6iCWqyIIgzixtUeXMTtbORbjHVqp53VQYW7R1rRQt7-58TC2_XsYSz8MX7FEKI9flP9f0A9UkEtH</recordid><startdate>19830101</startdate><enddate>19830101</enddate><creator>Darondeau, Ph</creator><creator>Kott, L.</creator><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>19830101</creationdate><title>On the observational semantics of fair parallelism</title><author>Darondeau, Ph ; Kott, L.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-s186t-85038b8fc2b93b9e98dea79c6ea90a8a7db1849987c89a2b817adb000c15717d3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>1983</creationdate><topic>Action Demand</topic><topic>Asynchronous System</topic><topic>Atomic Agent</topic><topic>Operational Semantic</topic><topic>Parallel Composition</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Darondeau, Ph</creatorcontrib><creatorcontrib>Kott, L.</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Darondeau, Ph</au><au>Kott, L.</au><au>Diaz, Josep</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>On the observational semantics of fair parallelism</atitle><btitle>Automata, Languages and Programming</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>1983-01-01</date><risdate>1983</risdate><spage>147</spage><epage>159</epage><pages>147-159</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540123170</isbn><isbn>3540123172</isbn><eisbn>3540400389</eisbn><eisbn>9783540400387</eisbn><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/BFb0036905</doi><tpages>13</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Automata, Languages and Programming, 1983, p.147-159
issn 0302-9743
1611-3349
language eng
recordid cdi_springer_books_10_1007_BFb0036905
source Springer Books
subjects Action Demand
Asynchronous System
Atomic Agent
Operational Semantic
Parallel Composition
title On the observational semantics of fair parallelism
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T00%3A01%3A34IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-springer&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=On%20the%20observational%20semantics%20of%20fair%20parallelism&rft.btitle=Automata,%20Languages%20and%20Programming&rft.au=Darondeau,%20Ph&rft.date=1983-01-01&rft.spage=147&rft.epage=159&rft.pages=147-159&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540123170&rft.isbn_list=3540123172&rft_id=info:doi/10.1007/BFb0036905&rft_dat=%3Cspringer%3Espringer_books_10_1007_BFb0036905%3C/springer%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540400389&rft.eisbn_list=9783540400387&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true