{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:17Z","timestamp":1725486317496},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_21","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T22:56:45Z","timestamp":1181170605000},"page":"278-292","source":"Crossref","is-referenced-by-count":3,"title":["Scheduling Algebra"],"prefix":"10.1007","author":[{"given":"Rob","family":"van Glabbeek","sequence":"first","affiliation":[]},{"given":"Peter","family":"Rittgen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s002360050047","volume":"33","author":"L. Aceto","year":"1996","unstructured":"Aceto, L.; Murphy, D.: Timing and Causality in Process Algebra, Acta Informatica 33, 1996, pp. 317\u2013350","journal-title":"Acta Informatica"},{"issue":"2","key":"21_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"Baeten, J.C.M.; Bergstra, J.A.: Real Time Process Algebra, Formal Aspects of Computing 3(2), 1991, pp. 142\u2013188","journal-title":"Formal Aspects of Computing"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A.; Klop, J.W.: Process Algebra for Synchronous Communication, Information and Control 60, 1984, pp. 109\u2013137","journal-title":"Information and Control"},{"key":"21_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/BFb0014324","volume-title":"A Study on the Specification and Verification of Performance Properties","author":"X.J. Chen","year":"1996","unstructured":"Chen, X.J.; Corradini, F.; Gorrieri, R.: A Study on the Specification and Verification of Performance Properties, Proceedings of AMAST\u2019 96, Lecture Notes in Computer Science 1101, Springer, Berlin, 1996, pp. 306\u2013320"},{"key":"21_CR5","unstructured":"Clark, W.: The Gantt Chart: A Working Tool of Management, Pitman, London, 1935"},{"issue":"2","key":"21_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1006\/inco.1998.2726","volume":"145","author":"F. Corradini","year":"1998","unstructured":"Corradini, F.: On Performance Congruences for Process Algebras, Information and Computation 145(2), 1998, pp. 191\u2013230","journal-title":"Information and Computation"},{"key":"21_CR7","unstructured":"French, S.: Sequencing and Scheduling: An Introduction to the Mathematics of the Job-Shop, Ellis Horwood, Chichester, 1982"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J.L. Gischer","year":"1988","unstructured":"Gischer, J.L.: The Equational Theory of Pomsets, Theoretical Computer Science 61, 1988, pp. 199\u2013224","journal-title":"Theoretical Computer Science"},{"key":"21_CR9","volume-title":"Arbeitsberichte des Instituts f\u00fcr Wirtschaftsinformatik","author":"R.J. Glabbeek van","year":"1998","unstructured":"Glabbeek, R.J. van; Rittgen, P.: Scheduling Algebra, Arbeitsberichte des Instituts f\u00fcr Wirtschaftsinformatik Nr. 12, Universit\u00e4t Koblenz-Landau, Germany, 1998 \n                    http:\/\/www.uni-koblenz.de\/~iwi\/publicfiles\/Arbeitsberichte\/Nr12.ps.zip"},{"issue":"1","key":"21_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(94)00205-W","volume":"140","author":"R. Gorrieri","year":"1995","unstructured":"Gorrieri, R.; Roccetti, M.; Stancampiano, E.: A Theory of Processes with Durational Actions, Theoretical Computer Science 140(1), 1995, pp. 73\u201394","journal-title":"Theoretical Computer Science"},{"key":"21_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes, Prentice Hall, Englewood Cliffs, 1985"},{"key":"21_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer, Berlin, 1980"},{"key":"21_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0039073","volume-title":"Proceedings of CONCUR\u2019 90","author":"F. Moller","year":"1990","unstructured":"Moller, F.; Tofts, C.: A Temporal Calculus of Communicating Systems, in: Baeten, J.C.M.; Klop, J.W.: Proceedings of CONCUR\u2019 90, Lecture Notes in Computer Science458, Springer, Berlin, 1990, pp. 401\u2013415"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M.; Roscoe, A.W.: A Timed Model for Communicating Sequential Processes, Theoretical Computer Science 58, 1988, pp. 249\u2013261","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:05:07Z","timestamp":1550365507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}