Restrictions and representations of vector controlled concurrent system behaviours

Within the framework of Vector Controlled Concurrent Systems a concurrent system consists of a fixed number of sequential processes together with a vector synchronization mechanism controlling their mutual synchronization. The behaviour of a VCCS is described by a vector language consisting of those...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science 1997-06, Vol.179 (1), p.61-102
Main Authors: Keesmaat, N.W., Kleijn, H.C.M.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c385t-918b14919a19fb38269279b08a4e3fce771de56aa0967b7e0fed5c8338c291f23
cites cdi_FETCH-LOGICAL-c385t-918b14919a19fb38269279b08a4e3fce771de56aa0967b7e0fed5c8338c291f23
container_end_page 102
container_issue 1
container_start_page 61
container_title Theoretical computer science
container_volume 179
creator Keesmaat, N.W.
Kleijn, H.C.M.
description Within the framework of Vector Controlled Concurrent Systems a concurrent system consists of a fixed number of sequential processes together with a vector synchronization mechanism controlling their mutual synchronization. The behaviour of a VCCS is described by a vector language consisting of those combinations of individual sequential computations that observe the synchronization constraints. In this paper VCCS submodels are studied that are obtained by putting certain restrictions on the sequential components or on the control mechanism. First, the inclusion diagram relating the resulting families of vector languages is established. Next, the effect of certain operations on these families is investigated. This leads to representation results characterizing differences between the combinations of restrictions.
doi_str_mv 10.1016/S0304-3975(96)00105-3
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_27328573</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0304397596001053</els_id><sourcerecordid>27328573</sourcerecordid><originalsourceid>FETCH-LOGICAL-c385t-918b14919a19fb38269279b08a4e3fce771de56aa0967b7e0fed5c8338c291f23</originalsourceid><addsrcrecordid>eNqFkM1LxDAQxYMouK7-CUJPoodqPjZNchIRv2BBWPUc0nSKkW6zTtqF_e9tt-LVucwwvPfg_Qg5Z_SaUVbcvFFBF7kwSl6a4opSRmUuDsiMaWVyzs3ikMz-JMfkJKUvOoxUxYysVpA6DL4LsU2Za6sMYYOQoO3c9It1tgXfRcx8bDuMTQPVePoecVBlaZc6WGclfLptiD2mU3JUuybB2e-ek4_Hh_f753z5-vRyf7fMvdCyyw3TJVsYZhwzdSk0LwxXpqTaLUDUHpRiFcjCOWoKVSqgNVTSayG054bVXMzJxZS7wfjdDzXsOiQPTeNaiH2yXAmupRKDUE5CjzElhNpuMKwd7iyjdiRo9wTtiMeawu4J2tF3O_lgaLENgDb5AK2HKuBAxFYx_JPwA1KtegQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>27328573</pqid></control><display><type>article</type><title>Restrictions and representations of vector controlled concurrent system behaviours</title><source>ScienceDirect Journals</source><creator>Keesmaat, N.W. ; Kleijn, H.C.M.</creator><creatorcontrib>Keesmaat, N.W. ; Kleijn, H.C.M.</creatorcontrib><description>Within the framework of Vector Controlled Concurrent Systems a concurrent system consists of a fixed number of sequential processes together with a vector synchronization mechanism controlling their mutual synchronization. The behaviour of a VCCS is described by a vector language consisting of those combinations of individual sequential computations that observe the synchronization constraints. In this paper VCCS submodels are studied that are obtained by putting certain restrictions on the sequential components or on the control mechanism. First, the inclusion diagram relating the resulting families of vector languages is established. Next, the effect of certain operations on these families is investigated. This leads to representation results characterizing differences between the combinations of restrictions.</description><identifier>ISSN: 0304-3975</identifier><identifier>EISSN: 1879-2294</identifier><identifier>DOI: 10.1016/S0304-3975(96)00105-3</identifier><language>eng</language><publisher>Elsevier B.V</publisher><ispartof>Theoretical computer science, 1997-06, Vol.179 (1), p.61-102</ispartof><rights>1997</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c385t-918b14919a19fb38269279b08a4e3fce771de56aa0967b7e0fed5c8338c291f23</citedby><cites>FETCH-LOGICAL-c385t-918b14919a19fb38269279b08a4e3fce771de56aa0967b7e0fed5c8338c291f23</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Keesmaat, N.W.</creatorcontrib><creatorcontrib>Kleijn, H.C.M.</creatorcontrib><title>Restrictions and representations of vector controlled concurrent system behaviours</title><title>Theoretical computer science</title><description>Within the framework of Vector Controlled Concurrent Systems a concurrent system consists of a fixed number of sequential processes together with a vector synchronization mechanism controlling their mutual synchronization. The behaviour of a VCCS is described by a vector language consisting of those combinations of individual sequential computations that observe the synchronization constraints. In this paper VCCS submodels are studied that are obtained by putting certain restrictions on the sequential components or on the control mechanism. First, the inclusion diagram relating the resulting families of vector languages is established. Next, the effect of certain operations on these families is investigated. This leads to representation results characterizing differences between the combinations of restrictions.</description><issn>0304-3975</issn><issn>1879-2294</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1997</creationdate><recordtype>article</recordtype><recordid>eNqFkM1LxDAQxYMouK7-CUJPoodqPjZNchIRv2BBWPUc0nSKkW6zTtqF_e9tt-LVucwwvPfg_Qg5Z_SaUVbcvFFBF7kwSl6a4opSRmUuDsiMaWVyzs3ikMz-JMfkJKUvOoxUxYysVpA6DL4LsU2Za6sMYYOQoO3c9It1tgXfRcx8bDuMTQPVePoecVBlaZc6WGclfLptiD2mU3JUuybB2e-ek4_Hh_f753z5-vRyf7fMvdCyyw3TJVsYZhwzdSk0LwxXpqTaLUDUHpRiFcjCOWoKVSqgNVTSayG054bVXMzJxZS7wfjdDzXsOiQPTeNaiH2yXAmupRKDUE5CjzElhNpuMKwd7iyjdiRo9wTtiMeawu4J2tF3O_lgaLENgDb5AK2HKuBAxFYx_JPwA1KtegQ</recordid><startdate>19970601</startdate><enddate>19970601</enddate><creator>Keesmaat, N.W.</creator><creator>Kleijn, H.C.M.</creator><general>Elsevier B.V</general><scope>6I.</scope><scope>AAFTH</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>19970601</creationdate><title>Restrictions and representations of vector controlled concurrent system behaviours</title><author>Keesmaat, N.W. ; Kleijn, H.C.M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c385t-918b14919a19fb38269279b08a4e3fce771de56aa0967b7e0fed5c8338c291f23</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1997</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Keesmaat, N.W.</creatorcontrib><creatorcontrib>Kleijn, H.C.M.</creatorcontrib><collection>ScienceDirect Open Access Titles</collection><collection>Elsevier:ScienceDirect:Open Access</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>Theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Keesmaat, N.W.</au><au>Kleijn, H.C.M.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Restrictions and representations of vector controlled concurrent system behaviours</atitle><jtitle>Theoretical computer science</jtitle><date>1997-06-01</date><risdate>1997</risdate><volume>179</volume><issue>1</issue><spage>61</spage><epage>102</epage><pages>61-102</pages><issn>0304-3975</issn><eissn>1879-2294</eissn><abstract>Within the framework of Vector Controlled Concurrent Systems a concurrent system consists of a fixed number of sequential processes together with a vector synchronization mechanism controlling their mutual synchronization. The behaviour of a VCCS is described by a vector language consisting of those combinations of individual sequential computations that observe the synchronization constraints. In this paper VCCS submodels are studied that are obtained by putting certain restrictions on the sequential components or on the control mechanism. First, the inclusion diagram relating the resulting families of vector languages is established. Next, the effect of certain operations on these families is investigated. This leads to representation results characterizing differences between the combinations of restrictions.</abstract><pub>Elsevier B.V</pub><doi>10.1016/S0304-3975(96)00105-3</doi><tpages>42</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0304-3975
ispartof Theoretical computer science, 1997-06, Vol.179 (1), p.61-102
issn 0304-3975
1879-2294
language eng
recordid cdi_proquest_miscellaneous_27328573
source ScienceDirect Journals
title Restrictions and representations of vector controlled concurrent system behaviours
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T09%3A48%3A51IST&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=Restrictions%20and%20representations%20of%20vector%20controlled%20concurrent%20system%20behaviours&rft.jtitle=Theoretical%20computer%20science&rft.au=Keesmaat,%20N.W.&rft.date=1997-06-01&rft.volume=179&rft.issue=1&rft.spage=61&rft.epage=102&rft.pages=61-102&rft.issn=0304-3975&rft.eissn=1879-2294&rft_id=info:doi/10.1016/S0304-3975(96)00105-3&rft_dat=%3Cproquest_cross%3E27328573%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c385t-918b14919a19fb38269279b08a4e3fce771de56aa0967b7e0fed5c8338c291f23%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=27328573&rft_id=info:pmid/&rfr_iscdi=true