Modelling and simulation of asynchronous real-time systems using Timed Rebeca
Uložené v:
| Vydané v: | Science of computer programming Ročník 89; s. 41 - 68 |
|---|---|
| Hlavní autori: | , , , , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
01.09.2014
|
| ISSN: | 0167-6423 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Author | Jafari, Ali Cimini, Matteo Aceto, Luca Sigurdarson, Steinar Hugi Ingolfsdottir, Anna Sirjani, Marjan Reynisson, Arni Hermann |
|---|---|
| Author_xml | – sequence: 1 givenname: Arni Hermann surname: Reynisson fullname: Reynisson, Arni Hermann – sequence: 2 givenname: Marjan surname: Sirjani fullname: Sirjani, Marjan – sequence: 3 givenname: Luca surname: Aceto fullname: Aceto, Luca – sequence: 4 givenname: Matteo surname: Cimini fullname: Cimini, Matteo – sequence: 5 givenname: Ali surname: Jafari fullname: Jafari, Ali – sequence: 6 givenname: Anna surname: Ingolfsdottir fullname: Ingolfsdottir, Anna – sequence: 7 givenname: Steinar Hugi surname: Sigurdarson fullname: Sigurdarson, Steinar Hugi |
| BookMark | eNp9kMtqwzAQRbVIoUnaL-hGP2B3RrLlZFlCX5BQKOlayHq0CrZUJHuRv6-TdpVFVwN3OJfLWZBZiMEScodQIqC4P5RZex1LBliVgCXAakbm06cpRMX4NVnkfAAAUTU4J7tdNLbrfPikKhiafT92avAx0Oioysegv1IMccw0WdUVg-8tzcc82D7TMZ-w_RQZ-m5bq9UNuXKqy_b27y7Jx9PjfvNSbN-eXzcP20Jz4ENR27p2pjW14xrWCo1ioAVn0LTKNG3VYuOMQxA1AKJoUaMwjgGrxGrNKseXZP3bq1PMOVkntR_Os4ekfCcR5MmFPMizC3lyIQHl5GJi-QX7nXyv0vFf6geKmGoH |
| CitedBy_id | crossref_primary_10_1007_s10009_017_0480_3 crossref_primary_10_1109_ACCESS_2016_2592381 crossref_primary_10_1145_3609134 crossref_primary_10_1016_j_simpat_2018_07_011 crossref_primary_10_1016_j_scico_2014_07_005 crossref_primary_10_1007_s00165_017_0429_z crossref_primary_10_1016_j_scico_2017_11_004 crossref_primary_10_1155_2015_963597 crossref_primary_10_1016_j_scico_2018_09_002 crossref_primary_10_1145_3166227_3166237 crossref_primary_10_3390_math8071068 crossref_primary_10_1016_j_jlamp_2024_100965 crossref_primary_10_1016_j_sysarc_2025_103493 crossref_primary_10_1145_3122848 crossref_primary_10_1186_s13174_021_00132_z crossref_primary_10_21307_ijssis_2020_003 |
| Cites_doi | 10.1145/1291220.1291171 10.1016/j.jlap.2009.02.009 10.1007/s00236-009-0111-x 10.1007/s100090050010 10.1016/0304-3975(94)90010-8 10.3233/FUN-2004-63405 10.1016/S0304-3975(01)00359-0 10.1016/S0304-3975(01)00363-2 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.scico.2014.01.008 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 68 |
| ExternalDocumentID | 10_1016_j_scico_2014_01_008 |
| GroupedDBID | --K --M .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 4.4 457 4G. 5VS 7-5 71M 8P~ 9DU 9JN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AATTM AAXKI AAXUO AAYFN AAYWO AAYXX ABBOA ABFNM ABJNI ABMAC ABWVN ABXDB ACDAQ ACGFS ACLOT ACNNM ACRLP ACRPL ACVFH ACZNC ADBBV ADCNI ADEZE ADHUB ADMUD ADNMO ADVLN AEBSH AEIPS AEKER AENEX AEUPX AEXQZ AFFNX AFJKZ AFPUW AFTJW AGHFR AGQPQ AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD APXCP ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CITATION CS3 DU5 E.L EBS EFJIC EFKBS EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MO0 N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TN5 WUQ XPP ZMT ZY4 ~G- ~HD |
| ID | FETCH-LOGICAL-c303t-5e55fdbd5f3c09a1da20c63207bad7b4b17fdf106500116b1c16df202468924f3 |
| ISICitedReferencesCount | 37 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000337928800004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0167-6423 |
| IngestDate | Sat Nov 29 07:57:18 EST 2025 Tue Nov 18 22:03:09 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c303t-5e55fdbd5f3c09a1da20c63207bad7b4b17fdf106500116b1c16df202468924f3 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.scico.2014.01.008 |
| PageCount | 28 |
| ParticipantIDs | crossref_citationtrail_10_1016_j_scico_2014_01_008 crossref_primary_10_1016_j_scico_2014_01_008 |
| PublicationCentury | 2000 |
| PublicationDate | 2014-09-00 |
| PublicationDateYYYYMMDD | 2014-09-01 |
| PublicationDate_xml | – month: 09 year: 2014 text: 2014-09-00 |
| PublicationDecade | 2010 |
| PublicationTitle | Science of computer programming |
| PublicationYear | 2014 |
| References | Sirjani (10.1016/j.scico.2014.01.008_br0070) 2005; 11 Nigro (10.1016/j.scico.2014.01.008_br0330) 2001 Cohen (10.1016/j.scico.2014.01.008_br0110) Jaghoori (10.1016/j.scico.2014.01.008_br0210) 2007 Magnusson (10.1016/j.scico.2014.01.008_br0380) 2012 Jafari (10.1016/j.scico.2014.01.008_br0290) 2008 Aceto (10.1016/j.scico.2014.01.008_br0100) 2011 Ren (10.1016/j.scico.2014.01.008_br0160) 1995 Hewitt (10.1016/j.scico.2014.01.008_br0050) 2007 Fredlund (10.1016/j.scico.2014.01.008_br0090) 2007; 42 Hewitt (10.1016/j.scico.2014.01.008_br0030) 1972 Nielsen (10.1016/j.scico.2014.01.008_br0170) 1996 Erlang (10.1016/j.scico.2014.01.008_br0220) Agha (10.1016/j.scico.2014.01.008_br0040) 1990 Jaghoori (10.1016/j.scico.2014.01.008_br0340) 2009; 78 Tanenbaum (10.1016/j.scico.2014.01.008_br0240) 2007 Kahn (10.1016/j.scico.2014.01.008_br0250) 1987; vol. 247 Kristinsson (10.1016/j.scico.2014.01.008_br0360) 2012 Clavel (10.1016/j.scico.2014.01.008_br0310) 2002; 285 ICEROSE (10.1016/j.scico.2014.01.008_br0230) Buss (10.1016/j.scico.2014.01.008_br0260) 1996 Ölveczky (10.1016/j.scico.2014.01.008_br0140) 2002; 285 Sirjani (10.1016/j.scico.2014.01.008_br0010) 2004; 63 Alur (10.1016/j.scico.2014.01.008_br0120) 1994; 126 de Boer (10.1016/j.scico.2014.01.008_br0350) 2009 Khamespanah (10.1016/j.scico.2014.01.008_br0370) 2012 UPPAAL (10.1016/j.scico.2014.01.008_br0200) Plotkin (10.1016/j.scico.2014.01.008_br0080) 1981 McErlang (10.1016/j.scico.2014.01.008_br0400) Jaghoori (10.1016/j.scico.2014.01.008_br0060) 2009; 47 Ölveczky (10.1016/j.scico.2014.01.008_br0320) 2004; vol. 2984 Baker (10.1016/j.scico.2014.01.008_br0150) 1978 Yi (10.1016/j.scico.2014.01.008_br0130) 1991; vol. 510 Bjørk (10.1016/j.scico.2014.01.008_br0180) 2010 Satoh (10.1016/j.scico.2014.01.008_br0280) 1995 Law (10.1016/j.scico.2014.01.008_br0270) 1991 Sirjani (10.1016/j.scico.2014.01.008_br0020) 2011 Izadi (10.1016/j.scico.2014.01.008_br0190) 2010 Larsen (10.1016/j.scico.2014.01.008_br0300) 1997; 1 Svensson (10.1016/j.scico.2014.01.008_br0390) 2010 |
| References_xml | – start-page: 331 year: 1995 ident: 10.1016/j.scico.2014.01.008_br0280 article-title: Time and asynchrony in interactions among distributed real-time objects – volume: vol. 2984 start-page: 354 year: 2004 ident: 10.1016/j.scico.2014.01.008_br0320 article-title: Specification and Analysis of Real-Time Systems Using Real-Time Maude – year: 2012 ident: 10.1016/j.scico.2014.01.008_br0360 – volume: 42 start-page: 125 issue: 9 year: 2007 ident: 10.1016/j.scico.2014.01.008_br0090 article-title: McErlang: a model checker for a distributed functional programming language publication-title: SIGPLAN Not. doi: 10.1145/1291220.1291171 – volume: 78 start-page: 402 issue: 5 year: 2009 ident: 10.1016/j.scico.2014.01.008_br0340 article-title: Schedulability of asynchronous real-time concurrent objects publication-title: J. Log. Algebr. Program. doi: 10.1016/j.jlap.2009.02.009 – volume: 47 start-page: 33 issue: 1 year: 2009 ident: 10.1016/j.scico.2014.01.008_br0060 article-title: Symmetry and partial order reduction techniques in model checking Rebeca publication-title: Acta Inform. doi: 10.1007/s00236-009-0111-x – year: 1996 ident: 10.1016/j.scico.2014.01.008_br0170 article-title: Semantics for an actor-based real-time language – year: 1990 ident: 10.1016/j.scico.2014.01.008_br0040 – start-page: 50 year: 1995 ident: 10.1016/j.scico.2014.01.008_br0160 article-title: RT-synchronizer: Language support for real-time specifications in distributed systems – start-page: 1 year: 2011 ident: 10.1016/j.scico.2014.01.008_br0100 article-title: Modelling and simulation of asynchronous real-time systems using Timed Rebeca – year: 1972 ident: 10.1016/j.scico.2014.01.008_br0030 – year: 2007 ident: 10.1016/j.scico.2014.01.008_br0240 – volume: 11 start-page: 1054 issue: 6 year: 2005 ident: 10.1016/j.scico.2014.01.008_br0070 article-title: Model checking, automated abstraction, and compositional verification of Rebeca models publication-title: J. Univers. Comput. Sci. – year: 1991 ident: 10.1016/j.scico.2014.01.008_br0270 – volume: 1 start-page: 134 year: 1997 ident: 10.1016/j.scico.2014.01.008_br0300 article-title: UPPAAL in a nutshell publication-title: Int. J. Softw. Tools Technol. Transf. doi: 10.1007/s100090050010 – volume: 126 start-page: 183 year: 1994 ident: 10.1016/j.scico.2014.01.008_br0120 article-title: A theory of timed automata publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(94)90010-8 – ident: 10.1016/j.scico.2014.01.008_br0220 – ident: 10.1016/j.scico.2014.01.008_br0400 – ident: 10.1016/j.scico.2014.01.008_br0200 – start-page: 23 year: 2012 ident: 10.1016/j.scico.2014.01.008_br0370 article-title: Timed-Rebeca schedulability and deadlock-freedom analysis using floating-time transition system – ident: 10.1016/j.scico.2014.01.008_br0110 – volume: vol. 247 start-page: 22 year: 1987 ident: 10.1016/j.scico.2014.01.008_br0250 article-title: Natural semantics – start-page: 212 year: 2009 ident: 10.1016/j.scico.2014.01.008_br0350 article-title: Modular schedulability analysis of concurrent objects in Creol – start-page: 23 year: 2010 ident: 10.1016/j.scico.2014.01.008_br0390 article-title: A unified semantics for future Erlang – start-page: 153 year: 1996 ident: 10.1016/j.scico.2014.01.008_br0260 article-title: Modeling with event graphs – year: 1981 ident: 10.1016/j.scico.2014.01.008_br0080 – year: 2010 ident: 10.1016/j.scico.2014.01.008_br0190 – start-page: 344 year: 2008 ident: 10.1016/j.scico.2014.01.008_br0290 article-title: Maximizing download bandwidth for file sharing in BitTorrent-like peer-to-peer networks – start-page: 20 year: 2011 ident: 10.1016/j.scico.2014.01.008_br0020 article-title: Ten years of analyzing actors: Rebeca experience – volume: vol. 510 start-page: 217 year: 1991 ident: 10.1016/j.scico.2014.01.008_br0130 article-title: CCS + time = an interleaved model for real time systems – ident: 10.1016/j.scico.2014.01.008_br0230 – volume: 63 start-page: 385 issue: 4 year: 2004 ident: 10.1016/j.scico.2014.01.008_br0010 article-title: Modeling and verification of reactive systems using Rebeca publication-title: Fundam. Inform. doi: 10.3233/FUN-2004-63405 – year: 2007 ident: 10.1016/j.scico.2014.01.008_br0210 article-title: Task scheduling in Rebeca – volume: 285 start-page: 187 issue: 2 year: 2002 ident: 10.1016/j.scico.2014.01.008_br0310 article-title: Maude: specification and programming in rewriting logic publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(01)00359-0 – year: 2012 ident: 10.1016/j.scico.2014.01.008_br0380 – start-page: 493 year: 2001 ident: 10.1016/j.scico.2014.01.008_br0330 article-title: Schedulability analysis of real time actor systems using coloured Petri Nets – start-page: 293 year: 2007 ident: 10.1016/j.scico.2014.01.008_br0050 article-title: What is commitment? Physical, organizational, and social (revised) – start-page: 67 year: 2010 ident: 10.1016/j.scico.2014.01.008_br0180 article-title: Lightweight time modeling in Timed Creol – volume: 285 start-page: 359 issue: 2 year: 2002 ident: 10.1016/j.scico.2014.01.008_br0140 article-title: Specification of real-time and hybrid systems in rewriting logic publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(01)00363-2 – year: 1978 ident: 10.1016/j.scico.2014.01.008_br0150 |
| SSID | ssj0006471 |
| Score | 2.2801063 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 41 |
| Title | Modelling and simulation of asynchronous real-time systems using Timed Rebeca |
| Volume | 89 |
| WOSCitedRecordID | wos000337928800004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 issn: 0167-6423 databaseCode: AIEXJ dateStart: 19950201 customDbUrl: isFulltext: true dateEnd: 20180131 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0006471 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bSxtBFB5C9MGXtrZKrW2Zh77Zhb1mdh-DWNpipaBC3padGyTEjSQb0R_g__acuWVREH3wZQnLZMju-XJuc875CPnBucpkXmRRpngBAUqeR01TyQj0oGC55Fo1RtKn7OysnEyq_4PBve-FuZmzti1vb6vrNxU13ANhY-vsK8QdNoUb8BmEDlcQO1xfJHhkN7ODtk1OfHrlCLrMif_qrhU4DhcLX8FdnEfILe_GOa-O1iZxgF0h0r73pu-7ejXgCtGRC8KXd115A4hHN-quBWk6ruplOwXThp0JAYXn0-XMMklhp9BsA8-xUIbU6eh03SsgQtoxt7jr1KKfpkjyUIcVMpegkSHYyfqq17IHOd1pB2A5K2y5dp7od5tqmEHkD_8TLMzLzdDVuNyYM3-E_8jKhdpDX9Y2q80mNW5Sx0ltWsa3UlZU5ZBsjf-cTP4Gkz6ykXt4Bj--yhQKPvktPRen56tcfCDvXJBBxxYcu2Sg2o_kvSfwoE6Qn8i_gBUKWKEbrNCFpn2s0IAV6rBCDVaowQq1WNkjl79OLo5_R45fIxLguHRRoYpCSy4LnYm4ahLZpLEYZWnMeCMZz3nCtNQJOvF4XMcTkYykTsGrG5UQtutsnwzbRas-E8oa8HOYZkKLNFcJDvUXmSpKAe6f1EockNS_klq44fPIgTKvnxHHAfkZvnRtZ688t_zL65Yfkp0NTr-SYbdcq29kW9x009Xyu0PAA-m2gvM |
| 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=Modelling+and+simulation+of+asynchronous+real-time+systems+using+Timed+Rebeca&rft.jtitle=Science+of+computer+programming&rft.au=Reynisson%2C+Arni+Hermann&rft.au=Sirjani%2C+Marjan&rft.au=Aceto%2C+Luca&rft.au=Cimini%2C+Matteo&rft.date=2014-09-01&rft.issn=0167-6423&rft.volume=89&rft.spage=41&rft.epage=68&rft_id=info:doi/10.1016%2Fj.scico.2014.01.008&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_scico_2014_01_008 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-6423&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-6423&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-6423&client=summon |