Simulation, reduction and preservation of correctness properties of parallel systems
A unified formal treatment of simulation and reduction concepts for parallel computation systems is given. A computation homomorphism, a notion introduced by Kasai and Miller (1979), is used to study the correctness properties of parallel computation systems. The concept of reduction induced by a su...
Gespeichert in:
| Veröffentlicht in: | Information processing letters 1983-07, Vol.17 (1), p.21-27 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 27 |
|---|---|
| container_issue | 1 |
| container_start_page | 21 |
| container_title | Information processing letters |
| container_volume | 17 |
| creator | Tirri, Henry R. |
| description | A unified formal treatment of simulation and reduction concepts for parallel computation systems is given. A computation homomorphism, a notion introduced by Kasai and Miller (1979), is used to study the correctness properties of parallel computation systems. The concept of reduction induced by a surjective computation of homomorphism is introduced and its relationship with the similar concept of simulation is studied. The use of reduction is combined to verification techniques based on temporal logic. The results of Berthelot et al. (1979), Kasai and Miller (1979) and Kwong (1977) are unified and generalized. |
| doi_str_mv | 10.1016/0020-0190(83)90086-8 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_237263400</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>0020019083900868</els_id><sourcerecordid>1136443</sourcerecordid><originalsourceid>FETCH-LOGICAL-c309t-96e0500b5dc1b20c366f02fcd794bb1749275f0c90e2369de4cfa802b1669a483</originalsourceid><addsrcrecordid>eNp9kF1LwzAUhoMoOKf_wIsiXihYPflo2twIMvyCgRfO65CmJ5DRtTNpB_v3ttvYpVcJvE_ec_IQck3hkQKVTwAMUqAK7gp-rwAKmRYnZEKLnKWSUnVKJkfknFzEuAQAKXg-IYtvv-pr0_m2eUgCVr0dr4lpqmQdMGLY7LKkdYltQ0DbNRjjkLVrDJ3HOCZrE0xdY53EbexwFS_JmTN1xKvDOSU_b6-L2Uc6_3r_nL3MU8tBdamSCBlAmVWWlgwsl9IBc7bKlShLmgvF8syBVYCMS1WhsM4UwEoqpTKi4FNys-8d1vntMXZ62fahGUZqxnMmuQAYILGHbGhjDOj0OviVCVtNQY_69OhGj250wfVOnx67bw_dJlpTu2Aa6-PxrcqEoBkfsOc9hsM_Nx6DjtZjY7Hyoyxdtf7_OX8i04Ol</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>237263400</pqid></control><display><type>article</type><title>Simulation, reduction and preservation of correctness properties of parallel systems</title><source>Elsevier ScienceDirect Journals Complete - AutoHoldings</source><creator>Tirri, Henry R.</creator><creatorcontrib>Tirri, Henry R.</creatorcontrib><description>A unified formal treatment of simulation and reduction concepts for parallel computation systems is given. A computation homomorphism, a notion introduced by Kasai and Miller (1979), is used to study the correctness properties of parallel computation systems. The concept of reduction induced by a surjective computation of homomorphism is introduced and its relationship with the similar concept of simulation is studied. The use of reduction is combined to verification techniques based on temporal logic. The results of Berthelot et al. (1979), Kasai and Miller (1979) and Kwong (1977) are unified and generalized.</description><identifier>ISSN: 0020-0190</identifier><identifier>EISSN: 1872-6119</identifier><identifier>DOI: 10.1016/0020-0190(83)90086-8</identifier><identifier>CODEN: IFPLAT</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; correctness of parallel systems ; Exact sciences and technology ; Models of computation ; Reduction ; Simulation ; Software ; Techniques ; Theory ; Verification</subject><ispartof>Information processing letters, 1983-07, Vol.17 (1), p.21-27</ispartof><rights>1983</rights><rights>1984 INIST-CNRS</rights><rights>Copyright Elsevier Sequoia S.A. Jul 19, 1983</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c309t-96e0500b5dc1b20c366f02fcd794bb1749275f0c90e2369de4cfa802b1669a483</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1016/0020-0190(83)90086-8$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,780,784,3549,27923,27924,45994</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=9544153$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Tirri, Henry R.</creatorcontrib><title>Simulation, reduction and preservation of correctness properties of parallel systems</title><title>Information processing letters</title><description>A unified formal treatment of simulation and reduction concepts for parallel computation systems is given. A computation homomorphism, a notion introduced by Kasai and Miller (1979), is used to study the correctness properties of parallel computation systems. The concept of reduction induced by a surjective computation of homomorphism is introduced and its relationship with the similar concept of simulation is studied. The use of reduction is combined to verification techniques based on temporal logic. The results of Berthelot et al. (1979), Kasai and Miller (1979) and Kwong (1977) are unified and generalized.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>correctness of parallel systems</subject><subject>Exact sciences and technology</subject><subject>Models of computation</subject><subject>Reduction</subject><subject>Simulation</subject><subject>Software</subject><subject>Techniques</subject><subject>Theory</subject><subject>Verification</subject><issn>0020-0190</issn><issn>1872-6119</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1983</creationdate><recordtype>article</recordtype><recordid>eNp9kF1LwzAUhoMoOKf_wIsiXihYPflo2twIMvyCgRfO65CmJ5DRtTNpB_v3ttvYpVcJvE_ec_IQck3hkQKVTwAMUqAK7gp-rwAKmRYnZEKLnKWSUnVKJkfknFzEuAQAKXg-IYtvv-pr0_m2eUgCVr0dr4lpqmQdMGLY7LKkdYltQ0DbNRjjkLVrDJ3HOCZrE0xdY53EbexwFS_JmTN1xKvDOSU_b6-L2Uc6_3r_nL3MU8tBdamSCBlAmVWWlgwsl9IBc7bKlShLmgvF8syBVYCMS1WhsM4UwEoqpTKi4FNys-8d1vntMXZ62fahGUZqxnMmuQAYILGHbGhjDOj0OviVCVtNQY_69OhGj250wfVOnx67bw_dJlpTu2Aa6-PxrcqEoBkfsOc9hsM_Nx6DjtZjY7Hyoyxdtf7_OX8i04Ol</recordid><startdate>19830719</startdate><enddate>19830719</enddate><creator>Tirri, Henry R.</creator><general>Elsevier B.V</general><general>Elsevier Science</general><general>Elsevier Sequoia S.A</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19830719</creationdate><title>Simulation, reduction and preservation of correctness properties of parallel systems</title><author>Tirri, Henry R.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c309t-96e0500b5dc1b20c366f02fcd794bb1749275f0c90e2369de4cfa802b1669a483</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1983</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>correctness of parallel systems</topic><topic>Exact sciences and technology</topic><topic>Models of computation</topic><topic>Reduction</topic><topic>Simulation</topic><topic>Software</topic><topic>Techniques</topic><topic>Theory</topic><topic>Verification</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Tirri, Henry R.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Information processing letters</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Tirri, Henry R.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Simulation, reduction and preservation of correctness properties of parallel systems</atitle><jtitle>Information processing letters</jtitle><date>1983-07-19</date><risdate>1983</risdate><volume>17</volume><issue>1</issue><spage>21</spage><epage>27</epage><pages>21-27</pages><issn>0020-0190</issn><eissn>1872-6119</eissn><coden>IFPLAT</coden><abstract>A unified formal treatment of simulation and reduction concepts for parallel computation systems is given. A computation homomorphism, a notion introduced by Kasai and Miller (1979), is used to study the correctness properties of parallel computation systems. The concept of reduction induced by a surjective computation of homomorphism is introduced and its relationship with the similar concept of simulation is studied. The use of reduction is combined to verification techniques based on temporal logic. The results of Berthelot et al. (1979), Kasai and Miller (1979) and Kwong (1977) are unified and generalized.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/0020-0190(83)90086-8</doi><tpages>7</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0020-0190 |
| ispartof | Information processing letters, 1983-07, Vol.17 (1), p.21-27 |
| issn | 0020-0190 1872-6119 |
| language | eng |
| recordid | cdi_proquest_journals_237263400 |
| source | Elsevier ScienceDirect Journals Complete - AutoHoldings |
| subjects | Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface correctness of parallel systems Exact sciences and technology Models of computation Reduction Simulation Software Techniques Theory Verification |
| title | Simulation, reduction and preservation of correctness properties of parallel systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T11%3A53%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Simulation,%20reduction%20and%20preservation%20of%20correctness%20properties%20of%20parallel%20systems&rft.jtitle=Information%20processing%20letters&rft.au=Tirri,%20Henry%20R.&rft.date=1983-07-19&rft.volume=17&rft.issue=1&rft.spage=21&rft.epage=27&rft.pages=21-27&rft.issn=0020-0190&rft.eissn=1872-6119&rft.coden=IFPLAT&rft_id=info:doi/10.1016/0020-0190(83)90086-8&rft_dat=%3Cproquest_cross%3E1136443%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=237263400&rft_id=info:pmid/&rft_els_id=0020019083900868&rfr_iscdi=true |