{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T07:21:50Z","timestamp":1771485710127,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,6,12]],"date-time":"2012-06-12T00:00:00Z","timestamp":1339459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s11334-012-0184-5","type":"journal-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T05:18:55Z","timestamp":1339391935000},"page":"29-43","source":"Crossref","is-referenced-by-count":38,"title":["User-defined schedulers for real-time concurrent objects"],"prefix":"10.1007","volume":"9","author":[{"given":"Joakim","family":"Bj\u00f8rk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Schlatte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. Lizeth","family":"Tapia Tarifa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,12]]},"reference":[{"key":"184_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: a model of concurrent computations in distributed systems","author":"GA Agha","year":"1986","unstructured":"Agha GA (1986) ACTORS: a model of concurrent computations in distributed systems. The MIT Press, Cambridge"},{"key":"184_CR2","doi-asserted-by":"crossref","unstructured":"Albert E, Arenas P, Genaim S, G\u00f3mez-Zamalloa M, Puebla G (2011) Cost analysis of concurrent OO programs. In: Proceedings of 9th Asian symposium on programming languages and systems (APLAS 2011). Lecture notes in computer science, vol 7078. Springer, Berlin, pp 238\u2013254","DOI":"10.1007\/978-3-642-25318-8_19"},{"key":"184_CR3","doi-asserted-by":"crossref","unstructured":"Amnell T, Fersman E, Mokrushin L, Pettersson P, Yi W (2002) TIMES\u2014a tool for modelling and implementation of embedded systems. In: Proceedings of the 8th international conference on tools and algorithms for the construction and analysis of systems (TACAS 2002), Lecture notes in computer science, vol 2280. Springer, Berlin, pp 460\u2013464","DOI":"10.1007\/3-540-46002-0_32"},{"key":"184_CR4","unstructured":"Andrews GR (1999) Foundations of multithreaded, parallel, and distributed programming. Addison-Wesley, Menlo Park"},{"key":"184_CR5","unstructured":"Angerer CM, Gross TR (2010) Static analysis of dynamic schedules and its application to optimization of parallel programs. In: Proceedings of 23rd languages and compilers for parallel computing (LCPC 2010), Lecture notes in computer science, vol 6548. Springer, Berlin, pp 16\u201330"},{"key":"184_CR6","unstructured":"Armstrong J (2007) Programming Erlang: software for a concurrent world. Pragmatic Bookshelf"},{"key":"184_CR7","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rk J, Johnsen EB, Owe O, Schlatte R (2010) Lightweight time modeling in Timed Creol. In: Proceedings of 1st international workshop on rewriting techniques for real-time systems (RTRTS 2010), Electronic proceedings in theoretical computer science, vol 36, pp 67\u201381","DOI":"10.4204\/EPTCS.36.4"},{"key":"184_CR8","doi-asserted-by":"crossref","unstructured":"Blair GS, Coulson G, Robin P, Papathomas M (1998) An architecture for next generation middleware. In: Proceedings of IFIP international conference on distributed systems platforms and open distributed processing (Middleware\u201998). Springer, Berlin, pp 191\u2013206","DOI":"10.1007\/978-1-4471-1283-9_12"},{"key":"184_CR9","volume-title":"Hard real-time computing systems: predictable scheduling algorithms and applications","author":"G Buttazzo","year":"2004","unstructured":"Buttazzo G (2004) Hard real-time computing systems: predictable scheduling algorithms and applications, 2nd edn. Kluwer, Dordrecht","edition":"2"},{"key":"184_CR10","doi-asserted-by":"crossref","unstructured":"Chakravarti AJ, Baumgartner G, Lauria M (2004) Application-specific scheduling for the organic grid. In: Proceedings of 5th IEEE\/ACM international workshop on grid computing (GRID\u201904). IEEE Computer Society, pp 146\u2013155","DOI":"10.1109\/GRID.2004.11"},{"key":"184_CR11","doi-asserted-by":"crossref","DOI":"10.1002\/0471224626","volume-title":"Real-Time systems: scheduling, analysis, and verification","author":"AMK Cheng","year":"2002","unstructured":"Cheng AMK (2002) Real-Time systems: scheduling, analysis, and verification. Wiley, New York"},{"key":"184_CR12","unstructured":"Clavel M, Dur\u00e1n F, Eker S, Lincoln P, Mart\u00ed-Oliet N, Meseguer J, Talcott CL (eds) (2007) All about Maude\u2014a high-performance logical framework, how to specify, program and verify systems in rewriting logic, Lecture notes in computer science, vol 4350. Springer, Berlin"},{"key":"184_CR13","volume-title":"Computer and job-shop scheduling theory","author":"EG Coffman","year":"1976","unstructured":"Coffman EG (1976) Computer and job-shop scheduling theory. Wiley, New York"},{"key":"184_CR14","doi-asserted-by":"crossref","unstructured":"David A, Larsen KG, Legay A, Nyman U, Wasowski A (2010) ECDAR: an environment for compositional design and analysis of real time systems. In: Proceedings of 8th automated technology for verification and analysis (ATVA 2010), Lecture notes in computer science, vol 6252. Springer, Berlin, pp 365\u2013370","DOI":"10.1007\/978-3-642-15643-4_29"},{"key":"184_CR15","doi-asserted-by":"crossref","unstructured":"de Boer FS, Clarke D, Johnsen EB (2007) A complete guide to the future. In: de Nicola R (ed) Proceedings of 16th European symposium on programming (ESOP\u201907), Lecture notes in computer science, vol 4421. Springer, Berlin, pp 316\u2013330","DOI":"10.1007\/978-3-540-71316-6_22"},{"key":"184_CR16","doi-asserted-by":"crossref","unstructured":"de Boer FS, Jaghoori MM, Johnsen EB (2010) Dating concurrent objects: real-time modeling and schedulability analysis. In: Proceedings of 21st international conference on concurrency theory (CONCUR), Lecture notes in computer science, vol 6269. Springer, Berlin, pp 1\u201318","DOI":"10.1007\/978-3-642-15375-4_1"},{"key":"184_CR17","volume-title":"Real-time Java platform programming","author":"PC Dibble","year":"2008","unstructured":"Dibble PC (2008) Real-time Java platform programming,2nd edn. BookSurge Publishing, Charleston","edition":"2"},{"issue":"8","key":"184_CR18","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman E, Krc\u00e1l P, Pettersson P, Yi W (2007) Task automata: schedulability, decidability and undecidability. Inf Comput 205(8): 1149\u20131172","journal-title":"Inf Comput"},{"issue":"2\u20133","key":"184_CR19","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P Haller","year":"2009","unstructured":"Haller P, Odersky M. (2009) Scala actors: unifying thread-based and event-based programming. Theor Comput Sci 410(2\u20133): 202\u2013220","journal-title":"Theor Comput Sci"},{"issue":"2","key":"184_CR20","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/762483.762486","volume":"21","author":"M Harchol-Balter","year":"2003","unstructured":"Harchol-Balter M, Schroeder B, Bansal N, Agrawal M (2003) Size-based scheduling to improve web performance. ACM Trans Comput Syst 21(2): 207\u2013233","journal-title":"ACM Trans Comput Syst"},{"key":"184_CR21","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"CAR Hoare","year":"1974","unstructured":"Hoare CAR (1974) Monitors: an operating system structuring concept. Commun ACM 17: 549\u2013557","journal-title":"Commun ACM"},{"issue":"1","key":"184_CR22","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JEC-2009-0078","volume":"3","author":"PA Hsiung","year":"2009","unstructured":"Hsiung PA, Huang CH, Chen YH (2009) Hardware task scheduling and placement in operating systems for dynamically reconfigurable soc. J Embed Comput 3(1): 53\u201362","journal-title":"J Embed Comput"},{"issue":"4","key":"184_CR23","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1504\/IJAHUC.2010.035537","volume":"6","author":"CH Hsu","year":"2010","unstructured":"Hsu CH, Chen SC (2010) A two-level scheduling strategy for optimising communications of data parallel programs in clusters. Int J Ad Hoc Ubiquitous Comput 6(4): 263\u2013269","journal-title":"Int J Ad Hoc Ubiquitous Comput"},{"key":"184_CR24","doi-asserted-by":"crossref","unstructured":"Johnsen EB, H\u00e4hnle R, Sch\u00e4fer J, Schlatte R, Steffen M (2011) ABS: a core language for abstract behavioral specification. In: Aichernig B, de Boer FS, Bonsangue MM (eds) Proceedings of 9th international symposium on formal methods for components and objects (FMCO 2010), Lecture notes in computer science, vol 6957. Springer, Berlin, pp 142\u2013164","DOI":"10.1007\/978-3-642-25271-6_8"},{"issue":"1","key":"184_CR25","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"EB Johnsen","year":"2007","unstructured":"Johnsen EB, Owe O (2007) An asynchronous communication model for distributed concurrent objects. Softw Syst Model 6(1): 35\u201358","journal-title":"Softw Syst Model"},{"issue":"1\u20132","key":"184_CR26","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) UPPAAL in a nutshell. Int J Softw Tools Technol Transf 1(1\u20132): 134\u2013152","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"5","key":"184_CR27","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/1506409.1506426","volume":"52","author":"EA Lee","year":"2009","unstructured":"Lee EA (2009) Computing needs time. Commun ACM 52(5): 70\u201379","journal-title":"Commun ACM"},{"key":"184_CR28","volume-title":"Erlang and OTP in action","author":"M Logan","year":"2010","unstructured":"Logan M, Merritt E, Carlsson R (2010) Erlang and OTP in action. Manning Publications, Greenwich"},{"key":"184_CR29","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer J (1992) Conditional rewriting logic as a unified model of concurrency. Theor Comput Sci 96: 73\u2013155","journal-title":"Theor Comput Sci"},{"key":"184_CR30","doi-asserted-by":"crossref","unstructured":"Nobakht B, de Boer FS, Jaghoori MM, Schlatte R (2012) Programming and deployment of active objects with application-level scheduling. In: Proceedings of symposium on applied computing (SAC). ACM, New York","DOI":"10.1145\/2245276.2232086"},{"issue":"2","key":"184_CR31","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/S0304-3975(01)00363-2","volume":"285","author":"PC \u00d6lveczky","year":"2002","unstructured":"\u00d6auml;lveczky PC, Meseguer J (2002) Specification of real-time and hybrid systems in rewriting logic. Theor Comput Sci 285(2): 359\u2013405","journal-title":"Theor Comput Sci"},{"issue":"1\u20132","key":"184_CR32","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"PC \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky PC, Meseguer J (2007) Semantics and pragmatics of Real-Time Maude. Higher-Order Symbol Comput 20(1\u20132): 161\u2013196","journal-title":"Higher-Order Symbol Comput"},{"key":"184_CR33","volume-title":"Types and programming languages","author":"BC Pierce","year":"2002","unstructured":"Pierce BC (2002) Types and programming languages. The MIT Press, Cambridge"},{"key":"184_CR34","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"GD Plotkin","year":"2004","unstructured":"Plotkin GD (2004) A structural approach to operational semantics. J Logic Algebr Program 60-61: 17\u2013139","journal-title":"J Logic Algebr Program"},{"key":"184_CR35","doi-asserted-by":"crossref","unstructured":"Santoso J, van Albada GD, Nazief BAA, Sloot PMA (2000) Simulating job scheduling for clusters of workstations. In: Bubak M, Afsarmanesh H, Williams R, Hertzberger LO (eds) 8th International conference on high-performance computing and networking (HPCN Europe 2000), Lecture notes in computer science, vol 1823. Springer, Berlin, pp 395\u2013406","DOI":"10.1007\/3-540-45492-6_39"},{"key":"184_CR36","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer J, Poetzsch-Heffter A (2010) JCoBox: generalizing active objects to concurrent components. In: European conference on object-oriented programming (ECOOP 2010), Lecture notes in computer science, vol 6183. Springer, Berlin, pp 275\u2013299","DOI":"10.1007\/978-3-642-14107-2_13"},{"key":"184_CR37","unstructured":"Schoeberl M (2004) Real-time scheduling on a Java processor. In: Proceedings of 10th international conference on real-time and embedded computing systems and applications (RTCSA)"},{"key":"184_CR38","doi-asserted-by":"crossref","unstructured":"Sorensen A, Gardner H (2010) Programming with time: cyber-physical programming with Impromptu. In: Cook WR, Clarke S, Rinard MC (eds) Proceedings of object-oriented programming, systems, languages, and applications (OOPSLA). ACM, New York, pp 822\u2013834","DOI":"10.1145\/1869459.1869526"},{"key":"184_CR39","unstructured":"Srinivasan S, Mycroft A (2008) Kilim: isolation-typed actors for Java. In: Vitek J (ed) Proceedings of 22nd European conference on object-oriented programming (ECOOP 2008), Lecture notes in computer science, vol 5142. Springer, Berlin, pp 104\u2013128"},{"key":"184_CR40","unstructured":"Tchernykh A, Ram\u00edrez-Alcaraz JM, Avetisyan A, Kuzjurin N, Grushin D, Zhuk S (2005) Two level job-scheduling strategies for a computational grid. In: Wyrzykowski R, Dongarra J, Meyer N, Wasniewski J (eds) 6th International conference on parallel processing and applied mathematics (PPAM), Lecture notes in computer science, vol 3911. Springer, Berlin, pp 774\u2013781"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-012-0184-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-012-0184-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-012-0184-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T19:38:21Z","timestamp":1594237101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-012-0184-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,12]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["184"],"URL":"https:\/\/doi.org\/10.1007\/s11334-012-0184-5","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,12]]}}}