乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T19:55:52Z","timestamp":1724874952214},"reference-count":40,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2018,9,2]],"date-time":"2018-09-02T00:00:00Z","timestamp":1535846400000},"content-version":"vor","delay-in-days":1462,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"name":"Icelandic Research Fund","award":["080039021","100014021","110020021"]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1016\/j.scico.2014.01.008","type":"journal-article","created":{"date-parts":[[2014,1,24]],"date-time":"2014-01-24T21:45:48Z","timestamp":1390599948000},"page":"41-68","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":37,"special_numbering":"PA","title":["Modelling and simulation of asynchronous real-time systems using Timed Rebeca"],"prefix":"10.1016","volume":"89","author":[{"given":"Arni Hermann","family":"Reynisson","sequence":"first","affiliation":[]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Aceto","sequence":"additional","affiliation":[]},{"given":"Matteo","family":"Cimini","sequence":"additional","affiliation":[]},{"given":"Ali","family":"Jafari","sequence":"additional","affiliation":[]},{"given":"Anna","family":"Ingolfsdottir","sequence":"additional","affiliation":[]},{"given":"Steinar Hugi","family":"Sigurdarson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/j.scico.2014.01.008_br0010","first-page":"385","article-title":"Modeling and verification of reactive systems using Rebeca","volume":"63","author":"Sirjani","year":"2004","journal-title":"Fundam. Inform."},{"key":"10.1016\/j.scico.2014.01.008_br0020","series-title":"Formal Modeling: Actors, Open Systems, Biological Systems","first-page":"20","article-title":"Ten years of analyzing actors: Rebeca experience","author":"Sirjani","year":"2011"},{"key":"10.1016\/j.scico.2014.01.008_br0030","series-title":"Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot","author":"Hewitt","year":"1972"},{"key":"10.1016\/j.scico.2014.01.008_br0040","series-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha","year":"1990"},{"key":"10.1016\/j.scico.2014.01.008_br0050","series-title":"Proceedings of Coordination, Organizations, Institutions, and Norms in Agent Systems II","first-page":"293","article-title":"What is commitment? Physical, organizational, and social (revised)","author":"Hewitt","year":"2007"},{"issue":"1","key":"10.1016\/j.scico.2014.01.008_br0060","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s00236-009-0111-x","article-title":"Symmetry and partial order reduction techniques in model checking Rebeca","volume":"47","author":"Jaghoori","year":"2009","journal-title":"Acta Inform."},{"issue":"6","key":"10.1016\/j.scico.2014.01.008_br0070","first-page":"1054","article-title":"Model checking, automated abstraction, and compositional verification of Rebeca models","volume":"11","author":"Sirjani","year":"2005","journal-title":"J. Univers. Comput. Sci."},{"key":"10.1016\/j.scico.2014.01.008_br0080","series-title":"A structural approach to operational semantics","author":"Plotkin","year":"1981"},{"issue":"9","key":"10.1016\/j.scico.2014.01.008_br0090","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/1291220.1291171","article-title":"McErlang: a model checker for a distributed functional programming language","volume":"42","author":"Fredlund","year":"2007","journal-title":"SIGPLAN Not."},{"key":"10.1016\/j.scico.2014.01.008_br0100","series-title":"FOCLASA","first-page":"1","article-title":"Modelling and simulation of asynchronous real-time systems using Timed Rebeca","author":"Aceto","year":"2011"},{"key":"10.1016\/j.scico.2014.01.008_br0110","author":"Cohen"},{"key":"10.1016\/j.scico.2014.01.008_br0120","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.scico.2014.01.008_br0130","series-title":"Proceedings of ICALP91","first-page":"217","article-title":"CCS + time = an interleaved model for real time systems","volume":"vol. 510","author":"Yi","year":"1991"},{"issue":"2","key":"10.1016\/j.scico.2014.01.008_br0140","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/S0304-3975(01)00363-2","article-title":"Specification of real-time and hybrid systems in rewriting logic","volume":"285","author":"\u00d6lveczky","year":"2002","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.scico.2014.01.008_br0150","series-title":"Actor systems for real-time computation","author":"Baker","year":"1978"},{"key":"10.1016\/j.scico.2014.01.008_br0160","series-title":"Workshop on Languages, Compilers and Tools for Real-Time Systems","first-page":"50","article-title":"RT-synchronizer: Language support for real-time specifications in distributed systems","author":"Ren","year":"1995"},{"key":"10.1016\/j.scico.2014.01.008_br0170","series-title":"Proceedings of the Fourth International Workshop on Parallel and Distributed Real-Time Systems","article-title":"Semantics for an actor-based real-time language","author":"Nielsen","year":"1996"},{"key":"10.1016\/j.scico.2014.01.008_br0180","series-title":"RTRTS","first-page":"67","article-title":"Lightweight time modeling in Timed Creol","author":"Bj\u00f8rk","year":"2010"},{"key":"10.1016\/j.scico.2014.01.008_br0190","series-title":"An actor-based model for modeling and verification of real-time systems","author":"Izadi","year":"2010"},{"key":"10.1016\/j.scico.2014.01.008_br0200","author":"UPPAAL"},{"key":"10.1016\/j.scico.2014.01.008_br0210","series-title":"Proc. Nordic Workshop on Programming Theory","article-title":"Task scheduling in Rebeca","author":"Jaghoori","year":"2007"},{"key":"10.1016\/j.scico.2014.01.008_br0220","author":"Erlang"},{"key":"10.1016\/j.scico.2014.01.008_br0230","author":"ICEROSE"},{"key":"10.1016\/j.scico.2014.01.008_br0240","series-title":"Distributed Systems \u2013 Principles and Paradigms","author":"Tanenbaum","year":"2007"},{"key":"10.1016\/j.scico.2014.01.008_br0250","series-title":"STACS 87, Proceedings 4th Annual Symposium on Theoretical Aspects of Computer Science","first-page":"22","article-title":"Natural semantics","volume":"vol. 247","author":"Kahn","year":"1987"},{"key":"10.1016\/j.scico.2014.01.008_br0260","series-title":"Proceedings of the 28th Conference on Winter Simulation","first-page":"153","article-title":"Modeling with event graphs","author":"Buss","year":"1996"},{"key":"10.1016\/j.scico.2014.01.008_br0270","series-title":"Simulation Modeling and Analysis","author":"Law","year":"1991"},{"key":"10.1016\/j.scico.2014.01.008_br0280","series-title":"Proceedings of 9th European Conference on Object-Oriented Programming","first-page":"331","article-title":"Time and asynchrony in interactions among distributed real-time objects","author":"Satoh","year":"1995"},{"key":"10.1016\/j.scico.2014.01.008_br0290","series-title":"ICPADS","first-page":"344","article-title":"Maximizing download bandwidth for file sharing in BitTorrent-like peer-to-peer networks","author":"Jafari","year":"2008"},{"key":"10.1016\/j.scico.2014.01.008_br0300","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a nutshell","volume":"1","author":"Larsen","year":"1997","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"10.1016\/j.scico.2014.01.008_br0310","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","article-title":"Maude: specification and programming in rewriting logic","volume":"285","author":"Clavel","year":"2002","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.scico.2014.01.008_br0320","series-title":"FASE","first-page":"354","article-title":"Specification and Analysis of Real-Time Systems Using Real-Time Maude","volume":"vol. 2984","author":"\u00d6lveczky","year":"2004"},{"key":"10.1016\/j.scico.2014.01.008_br0330","series-title":"Proc. Concurrent Object-Oriented Programming and Petri Nets","first-page":"493","article-title":"Schedulability analysis of real time actor systems using coloured Petri Nets","author":"Nigro","year":"2001"},{"issue":"5","key":"10.1016\/j.scico.2014.01.008_br0340","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1016\/j.jlap.2009.02.009","article-title":"Schedulability of asynchronous real-time concurrent objects","volume":"78","author":"Jaghoori","year":"2009","journal-title":"J. Log. Algebr. Program."},{"key":"10.1016\/j.scico.2014.01.008_br0350","series-title":"FSEN","first-page":"212","article-title":"Modular schedulability analysis of concurrent objects in Creol","author":"de Boer","year":"2009"},{"key":"10.1016\/j.scico.2014.01.008_br0360","series-title":"Event-based analysis of real-time actor models","author":"Kristinsson","year":"2012"},{"key":"10.1016\/j.scico.2014.01.008_br0370","series-title":"Proceedings of the 2nd edition on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions","first-page":"23","article-title":"Timed-Rebeca schedulability and deadlock-freedom analysis using floating-time transition system","author":"Khamespanah","year":"2012"},{"key":"10.1016\/j.scico.2014.01.008_br0380","series-title":"Simulation-based analysis of Timed Rebeca using TeProp and SQL","author":"Magnusson","year":"2012"},{"key":"10.1016\/j.scico.2014.01.008_br0390","series-title":"Proceedings of the 9th ACM SIGPLAN Workshop on Erlang","first-page":"23","article-title":"A unified semantics for future Erlang","author":"Svensson","year":"2010"},{"key":"10.1016\/j.scico.2014.01.008_br0400","author":"McErlang"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642314000239?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642314000239?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T23:28:08Z","timestamp":1538868488000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642314000239"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":40,"alternative-id":["S0167642314000239"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2014.01.008","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2014,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Modelling and simulation of asynchronous real-time systems using Timed Rebeca","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2014.01.008","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2014 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}