Atomic Components
The operational definition of observational congruence in CCS and ACP can be split into two parts: one, the definition of an observational semantics (ie abstraction); and two, the definition of a strong congruence. In both cases this “separation of concerns” has been applied with abstraction that is...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 139 |
|---|---|
| container_issue | |
| container_start_page | 128 |
| container_title | |
| container_volume | |
| creator | Reeves, Steve Streader, David |
| description | The operational definition of observational congruence in CCS and ACP can be split into two parts: one, the definition of an observational semantics (ie abstraction); and two, the definition of a strong congruence. In both cases this “separation of concerns” has been applied with abstraction that is implicitly “fair”. We define a novel (if obvious) observational semantics with no implicit “fairness”. When combining this observational semantics with failure equality the resulting observational semantics is shown to be equal, other than for minor details, to NDFD semantics. We also combine our observational semantics with singleton failure semantics and we establish congruence results for this new observational equality. |
| doi_str_mv | 10.1007/978-3-540-31862-0_11 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_17028473</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>17028473</sourcerecordid><originalsourceid>FETCH-LOGICAL-p228t-a5c8e67506a98d0c8ecae4873c9cdb6e69d4554b91438d17db15e360800797d13</originalsourceid><addsrcrecordid>eNotkDtPAzEQhM1L4hJS0FPQUBp2vX6W0Sk8pEg0UFs-n4MOkrvTOQ3_HiehWu3MaKT5GLtDeEQA8-SM5cSVBE5oteDgEc_YoshUxKMG56xCjciJpLtgs4MhFIHES1YBgeDOSLpms5y_AUAYJyp2u9wPuy7e18NuHPrU7_MNu9qEbU6L_ztnn8-rj_qVr99f3urlmo9C2D0PKtqkjQIdnG2hPDEkaQ1FF9tGJ-1aqZRsHEqyLZq2QZVIgy1rnGmR5uzh1DuGHMN2M4U-dtmPU7cL069HA8JKQyUnTrlcrP4rTb4Zhp_ssSAoXb4g8OTLVn-k4A9k6A_Zuk7v</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Atomic Components</title><source>Springer Books</source><creator>Reeves, Steve ; Streader, David</creator><contributor>Araki, Keijiro ; Liu, Zhiming</contributor><creatorcontrib>Reeves, Steve ; Streader, David ; Araki, Keijiro ; Liu, Zhiming</creatorcontrib><description>The operational definition of observational congruence in CCS and ACP can be split into two parts: one, the definition of an observational semantics (ie abstraction); and two, the definition of a strong congruence. In both cases this “separation of concerns” has been applied with abstraction that is implicitly “fair”. We define a novel (if obvious) observational semantics with no implicit “fairness”. When combining this observational semantics with failure equality the resulting observational semantics is shown to be equal, other than for minor details, to NDFD semantics. We also combine our observational semantics with singleton failure semantics and we establish congruence results for this new observational equality.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540253041</identifier><identifier>ISBN: 9783540253044</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540318620</identifier><identifier>EISBN: 3540318623</identifier><identifier>DOI: 10.1007/978-3-540-31862-0_11</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Discrete Event System ; Exact sciences and technology ; Label Transition System ; Operational Semantic ; Sequential Composition ; Start State</subject><ispartof>Lecture notes in computer science, 2005, p.128-139</ispartof><rights>Springer-Verlag Berlin Heidelberg 2005</rights><rights>2005 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/978-3-540-31862-0_11$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/978-3-540-31862-0_11$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4036,4037,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17028473$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Araki, Keijiro</contributor><contributor>Liu, Zhiming</contributor><creatorcontrib>Reeves, Steve</creatorcontrib><creatorcontrib>Streader, David</creatorcontrib><title>Atomic Components</title><title>Lecture notes in computer science</title><description>The operational definition of observational congruence in CCS and ACP can be split into two parts: one, the definition of an observational semantics (ie abstraction); and two, the definition of a strong congruence. In both cases this “separation of concerns” has been applied with abstraction that is implicitly “fair”. We define a novel (if obvious) observational semantics with no implicit “fairness”. When combining this observational semantics with failure equality the resulting observational semantics is shown to be equal, other than for minor details, to NDFD semantics. We also combine our observational semantics with singleton failure semantics and we establish congruence results for this new observational equality.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Discrete Event System</subject><subject>Exact sciences and technology</subject><subject>Label Transition System</subject><subject>Operational Semantic</subject><subject>Sequential Composition</subject><subject>Start State</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540253041</isbn><isbn>9783540253044</isbn><isbn>9783540318620</isbn><isbn>3540318623</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNotkDtPAzEQhM1L4hJS0FPQUBp2vX6W0Sk8pEg0UFs-n4MOkrvTOQ3_HiehWu3MaKT5GLtDeEQA8-SM5cSVBE5oteDgEc_YoshUxKMG56xCjciJpLtgs4MhFIHES1YBgeDOSLpms5y_AUAYJyp2u9wPuy7e18NuHPrU7_MNu9qEbU6L_ztnn8-rj_qVr99f3urlmo9C2D0PKtqkjQIdnG2hPDEkaQ1FF9tGJ-1aqZRsHEqyLZq2QZVIgy1rnGmR5uzh1DuGHMN2M4U-dtmPU7cL069HA8JKQyUnTrlcrP4rTb4Zhp_ssSAoXb4g8OTLVn-k4A9k6A_Zuk7v</recordid><startdate>2005</startdate><enddate>2005</enddate><creator>Reeves, Steve</creator><creator>Streader, David</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2005</creationdate><title>Atomic Components</title><author>Reeves, Steve ; Streader, David</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p228t-a5c8e67506a98d0c8ecae4873c9cdb6e69d4554b91438d17db15e360800797d13</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Discrete Event System</topic><topic>Exact sciences and technology</topic><topic>Label Transition System</topic><topic>Operational Semantic</topic><topic>Sequential Composition</topic><topic>Start State</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Reeves, Steve</creatorcontrib><creatorcontrib>Streader, David</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Reeves, Steve</au><au>Streader, David</au><au>Araki, Keijiro</au><au>Liu, Zhiming</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Atomic Components</atitle><btitle>Lecture notes in computer science</btitle><date>2005</date><risdate>2005</risdate><spage>128</spage><epage>139</epage><pages>128-139</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540253041</isbn><isbn>9783540253044</isbn><eisbn>9783540318620</eisbn><eisbn>3540318623</eisbn><abstract>The operational definition of observational congruence in CCS and ACP can be split into two parts: one, the definition of an observational semantics (ie abstraction); and two, the definition of a strong congruence. In both cases this “separation of concerns” has been applied with abstraction that is implicitly “fair”. We define a novel (if obvious) observational semantics with no implicit “fairness”. When combining this observational semantics with failure equality the resulting observational semantics is shown to be equal, other than for minor details, to NDFD semantics. We also combine our observational semantics with singleton failure semantics and we establish congruence results for this new observational equality.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/978-3-540-31862-0_11</doi><tpages>12</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Lecture notes in computer science, 2005, p.128-139 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_17028473 |
| source | Springer Books |
| subjects | Applied sciences Computer science control theory systems Discrete Event System Exact sciences and technology Label Transition System Operational Semantic Sequential Composition Start State |
| title | Atomic Components |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T12%3A24%3A22IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Atomic%20Components&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=Reeves,%20Steve&rft.date=2005&rft.spage=128&rft.epage=139&rft.pages=128-139&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540253041&rft.isbn_list=9783540253044&rft_id=info:doi/10.1007/978-3-540-31862-0_11&rft_dat=%3Cpascalfrancis_sprin%3E17028473%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540318620&rft.eisbn_list=3540318623&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |