Towards a Process Algebra for Shared Processors
We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation t...
Uložené v:
| Vydané v: | Electronic notes in theoretical computer science Ročník 52; číslo 3; s. 275 - 294 |
|---|---|
| Hlavní autori: | , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Elsevier B.V
01.05.2002
|
| ISSN: | 1571-0661, 1571-0661 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation that describes that one process is more deterministic than another. Applications of the model for process scheduling, programming language semantics, and kernel development are outlined. |
|---|---|
| AbstractList | We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation that describes that one process is more deterministic than another. Applications of the model for process scheduling, programming language semantics, and kernel development are outlined. |
| Author | Buchholtz, Mikael Andersen, Jacob Løvengreen, Hans Henrik |
| Author_xml | – sequence: 1 givenname: Mikael surname: Buchholtz fullname: Buchholtz, Mikael – sequence: 2 givenname: Jacob surname: Andersen fullname: Andersen, Jacob – sequence: 3 givenname: Hans Henrik surname: Løvengreen fullname: Løvengreen, Hans Henrik |
| BookMark | eNqFj0tLAzEUhYNUsK3-BGGWuhh7b-aVwYWUUh9QUGhdhyRzo5FxIsmg-O_tQ0XcdHUu5_Id-EZs0PmOGDtFuEDAcrLEosIUyhLPID8H4Fyk_IANf-vBn_uIjWJ8AcgEVuWQTVb-Q4UmJip5CN5QjMm0fSIdVGJ9SJbPKlDz8_IhHrNDq9pIJ985Zo_X89XsNl3c39zNpovU8Ap5qlFAgQY1YV43QlhjaxIkBBfGZqouBWhrCHWFlaq1KLSGQltrKqvyXEA2Zpe7XRN8jIGsNK5XvfNdH5RrJYLcuMutu9yIScjl1l3yNV38o9-Ce1Xhcy93teNorfbuKMhoHHWGGhfI9LLxbs_CFwafcoQ |
| CitedBy_id | crossref_primary_10_1016_j_jlap_2007_02_005 |
| Cites_doi | 10.1007/3-540-55092-5_2 10.1016/S0304-3975(00)00091-8 10.1145/359576.359585 10.1023/A:1008047130023 10.1007/3-540-45352-0_11 10.1007/s100090050010 10.1016/0890-5401(91)90030-6 10.1016/S0304-3975(96)00229-0 10.1007/3-540-46002-0_6 10.1145/123041.123053 10.1109/REAL.1993.393489 |
| ContentType | Journal Article |
| Copyright | 2002 |
| Copyright_xml | – notice: 2002 |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/S1571-0661(04)00228-2 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1571-0661 |
| EndPage | 294 |
| ExternalDocumentID | 10_1016_S1571_0661_04_00228_2 S1571066104002282 |
| GroupedDBID | --K --M 0R~ 1B1 1~5 29G 4.4 457 4G. 5GY 5VS 6I. 7-5 71M AABNK AACTN AAEDT AAEDW AAFTH AAIKJ AAKOC AALRI AAQFI AAQXK AAXUO ABFNM ABMAC ABWVN ACDAQ ACGFO ACGFS ACNNM ACRLP ACRPL ACXMD ADBBV ADEZE ADFGL ADMUD ADNMO ADVLN AEIPS AEKER AEXQZ AFTJW AFXIZ AGHFR AGQPQ AIEXJ AIKHN AITUG AJMQA AKRWK ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD ASPBG AVWKF AXJTR AZFZN BNPGV CS3 DU5 EBS EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FNPLU G-Q GBLVA HVGLF HZ~ IHE IXB J1W KOM KQ8 M41 M~E N9A O-L O9- OK1 OZT P2P R2- RIG ROL RPZ SDG SES SEW SPC SSH SSV SSW SSZ 9DU AAYWO AAYXX ACLOT ACVFH ADCNI AEUPX AFPUW AIGII AKBMS AKYEP CITATION ~HD |
| ID | FETCH-LOGICAL-c2712-b18051c1be149d88fcf9e8e8828cf3a9680bfce1b717a9b85bb05bffc7fa44803 |
| ISSN | 1571-0661 |
| IngestDate | Sat Nov 29 02:21:31 EST 2025 Tue Nov 18 22:25:53 EST 2025 Thu Apr 10 08:06:45 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Issue | 3 |
| Language | English |
| License | http://creativecommons.org/licenses/by-nc-nd/3.0 https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c2712-b18051c1be149d88fcf9e8e8828cf3a9680bfce1b717a9b85bb05bffc7fa44803 |
| OpenAccessLink | https://dx.doi.org/10.1016/S1571-0661(04)00228-2 |
| PageCount | 20 |
| ParticipantIDs | crossref_citationtrail_10_1016_S1571_0661_04_00228_2 crossref_primary_10_1016_S1571_0661_04_00228_2 elsevier_sciencedirect_doi_10_1016_S1571_0661_04_00228_2 |
| PublicationCentury | 2000 |
| PublicationDate | May 2002 |
| PublicationDateYYYYMMDD | 2002-05-01 |
| PublicationDate_xml | – month: 05 year: 2002 text: May 2002 |
| PublicationDecade | 2000 |
| PublicationTitle | Electronic notes in theoretical computer science |
| PublicationYear | 2002 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | (2000), pp. 106–120. Burns (NEWBIB6) 1988 Fersman E., P. Petterson and Wang Yi Lecture Notes in Computer Science in 1991, pp. 21–32. Larsen, Skou (NEWBIB12) 1991; 94 Liu, Joseph (NEWBIB14) 2001; 253 Larsen, Pettersson, Yi (NEWBIB11) 1997; 1 Søgaard-Andersen, Ø. Rump, Løvengreen (NEWBIB15) 1991; 16 Andersen J. and M. Buchholtz van Glabbeek (NEWBIB16) 2001 Master's thesis, Department of Information Technology, Technical University of Denmark (2001). URL Zhou Chaochen, M. R. Hansen, A. P. Ravn and H. Rischel Cleaveland, Löttgen, Natarajan (NEWBIB7) 2001 Fredette, A. N. and R. Cleaveland Barabanov, Yodaiken (NEWBIB3) 1996 Brémond-Grégoire, Lee (NEWBIB5) 1997 Ben-Abdallah, Choi, Clarke, Kim, Lee, Xie (NEWBIB4) 1998; 15 1993, pp. 274–283. Liu (NEWBIB13) 2000 Hoare (NEWBIB10) 1978; 21 Altisen, K., G. Gossler and J. Sifakis number 2280 in Lecture Notes of Computer Science, 2002, pp. 67–82. Brémond-Grégoire (10.1016/S1571-0661(04)00228-2_NEWBIB5) 1997 10.1016/S1571-0661(04)00228-2_NEWBIB17 Larsen (10.1016/S1571-0661(04)00228-2_NEWBIB11) 1997; 1 Cleaveland (10.1016/S1571-0661(04)00228-2_NEWBIB7) 2001 Larsen (10.1016/S1571-0661(04)00228-2_NEWBIB12) 1991; 94 10.1016/S1571-0661(04)00228-2_NEWBIB9 10.1016/S1571-0661(04)00228-2_NEWBIB8 Burns (10.1016/S1571-0661(04)00228-2_NEWBIB6) 1988 Barabanov (10.1016/S1571-0661(04)00228-2_NEWBIB3) 1996 Hoare (10.1016/S1571-0661(04)00228-2_NEWBIB10) 1978; 21 10.1016/S1571-0661(04)00228-2_NEWBIB2 10.1016/S1571-0661(04)00228-2_NEWBIB1 van Glabbeek (10.1016/S1571-0661(04)00228-2_NEWBIB16) 2001 Søgaard-Andersen (10.1016/S1571-0661(04)00228-2_NEWBIB15) 1991; 16 Liu (10.1016/S1571-0661(04)00228-2_NEWBIB13) 2000 Liu (10.1016/S1571-0661(04)00228-2_NEWBIB14) 2001; 253 Ben-Abdallah (10.1016/S1571-0661(04)00228-2_NEWBIB4) 1998; 15 |
| References_xml | – year: 1988 ident: NEWBIB6 publication-title: “Programming in Occam-2,” – reference: Fredette, A. N. and R. Cleaveland, – reference: , number 2280 in Lecture Notes of Computer Science, 2002, pp. 67–82. – reference: Master's thesis, Department of Information Technology, Technical University of Denmark (2001). URL – reference: , Lecture Notes in Computer Science – reference: Andersen J. and M. Buchholtz, – volume: 253 start-page: 119 year: 2001 end-page: 152 ident: NEWBIB14 article-title: Verification, refinement and scheduling of real-time programs publication-title: Theoretical Computer Science – reference: , in: – volume: 1 start-page: 134 year: 1997 end-page: 152 ident: NEWBIB11 publication-title: Int. Journal on Software Tools for Technology Transfer – year: 1996 ident: NEWBIB3 article-title: Real-time Linux publication-title: Linux Journal – volume: 21 start-page: 666 year: 1978 end-page: 677 ident: NEWBIB10 article-title: Communicating sequential processes publication-title: Communications of the ACM – volume: 94 start-page: 1 year: 1991 end-page: 29 ident: NEWBIB12 article-title: Bisimulation through probabilistic testing publication-title: Information And Computation – reference: Altisen, K., G. Gossler and J. Sifakis, – start-page: 3 year: 2001 end-page: 99 ident: NEWBIB16 article-title: The linear time - branching time spectrum I. The semantics of concrete, sequential processes publication-title: Handbook of Process Algebra – reference: Zhou Chaochen, M. R. Hansen, A. P. Ravn and H. Rischel, – reference: Fersman E., P. Petterson and Wang Yi, – volume: 15 start-page: 189 year: 1998 end-page: 219 ident: NEWBIB4 article-title: A process algebraic approach to the schedulability analysis of real-time systems publication-title: Real-Time Systems – start-page: 711 year: 2001 end-page: 765 ident: NEWBIB7 article-title: Priority in process algebra publication-title: Handbook of Process Algebra – reference: , 1993, pp. 274–283. – volume: 16 start-page: 55 year: 1991 end-page: 65 ident: NEWBIB15 article-title: A systematic kernel development publication-title: SIGSOFT Software Engineering Notes – start-page: 179 year: 1997 end-page: 219 ident: NEWBIB5 article-title: A process algebra of communicating shared resources with dense time and priorities publication-title: Theoretical Computer Science – reference: (2000), pp. 106–120. – reference: , 1991, pp. 21–32. – year: 2000 ident: NEWBIB13 publication-title: “Real-Time Systems,” – ident: 10.1016/S1571-0661(04)00228-2_NEWBIB17 doi: 10.1007/3-540-55092-5_2 – year: 1988 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB6 – volume: 253 start-page: 119 year: 2001 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB14 article-title: Verification, refinement and scheduling of real-time programs publication-title: Theoretical Computer Science doi: 10.1016/S0304-3975(00)00091-8 – year: 2000 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB13 – ident: 10.1016/S1571-0661(04)00228-2_NEWBIB2 – year: 1996 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB3 article-title: Real-time Linux publication-title: Linux Journal – volume: 21 start-page: 666 year: 1978 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB10 article-title: Communicating sequential processes publication-title: Communications of the ACM doi: 10.1145/359576.359585 – volume: 15 start-page: 189 year: 1998 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB4 article-title: A process algebraic approach to the schedulability analysis of real-time systems publication-title: Real-Time Systems doi: 10.1023/A:1008047130023 – start-page: 711 year: 2001 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB7 article-title: Priority in process algebra – ident: 10.1016/S1571-0661(04)00228-2_NEWBIB1 doi: 10.1007/3-540-45352-0_11 – volume: 1 start-page: 134 year: 1997 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB11 article-title: Uppaal in a Nutshell publication-title: Int. Journal on Software Tools for Technology Transfer doi: 10.1007/s100090050010 – volume: 94 start-page: 1 year: 1991 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB12 article-title: Bisimulation through probabilistic testing publication-title: Information And Computation doi: 10.1016/0890-5401(91)90030-6 – start-page: 179 year: 1997 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB5 article-title: A process algebra of communicating shared resources with dense time and priorities publication-title: Theoretical Computer Science doi: 10.1016/S0304-3975(96)00229-0 – ident: 10.1016/S1571-0661(04)00228-2_NEWBIB8 doi: 10.1007/3-540-46002-0_6 – start-page: 3 year: 2001 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB16 article-title: The linear time - branching time spectrum I. The semantics of concrete, sequential processes – volume: 16 start-page: 55 year: 1991 ident: 10.1016/S1571-0661(04)00228-2_NEWBIB15 article-title: A systematic kernel development publication-title: SIGSOFT Software Engineering Notes doi: 10.1145/123041.123053 – ident: 10.1016/S1571-0661(04)00228-2_NEWBIB9 doi: 10.1109/REAL.1993.393489 |
| SSID | ssj0038176 |
| Score | 1.3662933 |
| Snippet | We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 275 |
| Title | Towards a Process Algebra for Shared Processors |
| URI | https://dx.doi.org/10.1016/S1571-0661(04)00228-2 |
| Volume | 52 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1571-0661 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0038176 issn: 1571-0661 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1NT9wwELVWC4deSqGtSimVD63UahXIJjaZHJcKRCsVVSqV9hbFjk1XrLIIFsQf6f_t2Bknu4AoHHqJIkt27Mx4xh9v5jH2QRupta1UlFkRR8LiVFR7RkZqmIoUqqQUwnqyiez4GMbj_Eev9yfEwlxPs7qGm5v8_L-KGstQ2C509gnibhvFAnxHoeMTxY7PxwneA2EvB2UIAhiMpqfuetgjCl2CZtPGB8zoLicczXecOPVs7qFaS5GOmiggBuQ32738lf6NVtRTww6-T84CDt8fLzikNEWAoPVVLQLIXdHvA9raUwf98S6wdLAdHNfkbOkwIumgf8F-Zg5I1eRX3zH3lJHRlcmCcqWLFrQhUiFnnDQMyHfsfHPk8LNtGlfjsfiY5D6dD8VTLuXWvuXzWiRiC3JzTRWuqSIWhW-mQM--gt3Joc9WRl8Pxt-Ci3dZDX3YWvh8Fxq22_XpUyw-U3_uX_QsLGROXrDntAPho0Zz1lnP1BtsLbB7cDL2L9kuKRIvOWkLJ0XiqEi8USTeKdIr9uvw4OTLUUT0GpFOMke9NAS0yHqoDO6SKwCrbW7A4JYLtE3LfA9iZbUZKtzxl7kCqVQslbU6sziDIU5fs349q80bxh0rpEv0bw2uFitZgpGZEKqC3IK0stpkIoy_0JR73lGgTIsH__8m22mrnTfJV_5VAcLPLWgmNCvDAhXn4apvn_qtLfasmwHvWH9-cWW22aq-nk8uL96TxvwF6zCJew |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Towards+a+Process+Algebra+for+Shared+Processors&rft.jtitle=Electronic+notes+in+theoretical+computer+science&rft.au=Buchholtz%2C+Mikael&rft.au=Andersen%2C+Jacob&rft.au=L%C3%B8vengreen%2C+Hans+Henrik&rft.date=2002-05-01&rft.issn=1571-0661&rft.eissn=1571-0661&rft.volume=52&rft.issue=3&rft.spage=275&rft.epage=294&rft_id=info:doi/10.1016%2FS1571-0661%2804%2900228-2&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_S1571_0661_04_00228_2 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1571-0661&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1571-0661&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1571-0661&client=summon |