{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:26:32Z","timestamp":1767929192317,"version":"3.49.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1007\/bf01191894","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T17:13:58Z","timestamp":1108660438000},"page":"737-760","source":"Crossref","is-referenced-by-count":82,"title":["An efficiency preorder for processes"],"prefix":"10.1007","volume":"29","author":[{"given":"S.","family":"Arun-Kumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Hennessy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","series-title":"Proc. International Conference on Theoretical Aspects of Computer Software","first-page":"152","volume-title":"An efficiency preorder for processes","author":"S. Arun-Kumar","year":"1991","unstructured":"Arun-Kumar, S., Hennessy, M.: An efficiency preorder for processes. Proc. International Conference on Theoretical Aspects of Computer Software. (Lect. Notes Comput. Sci., vol. 526, pp. 152?175. Berlin Heidelberg New York: Springer 1991"},{"key":"CR2","unstructured":"Beaton, J., Bergstra, J.: Real time process algebra, Technical Report CWI Amsterdam, 1989"},{"key":"CR3","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench: A semantics-based verification tool for finite-state systems, Technical Report ECS-LFCS-89-83, University of Edinburgh, 1989"},{"key":"CR4","series-title":"Technical Report","volume-title":"An introduction to timed CSP","author":"J. Davies","year":"1989","unstructured":"Davies, J., Schneider, S.: An introduction to timed CSP, Technical Report, PRG, Oxford, 1989"},{"key":"CR5","first-page":"95","volume-title":"A timed failures model for extended communicating sequential processes","author":"R. Gerth","year":"1986","unstructured":"Gerth, R., Boucher, A.: A timed failures model for extended communicating sequential processes (Lect. Notes Comput. Sci., vol. 267, pp. 95?114. Berlin Heidelberg New York: Springer 1986"},{"key":"CR6","volume-title":"Algebraic theory of processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic theory of processes. Cambridge, MA: MIT Press 1988"},{"issue":"1","key":"CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. ACM32(1), 137?161 (1985)","journal-title":"J. ACM"},{"key":"CR8","unstructured":"Hennessy, M., Regan, T.: A temporal process algebra. Technical Report 2\/90, University of Sussex, 1990"},{"key":"CR9","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare: Communicating sequential processes. Englewood Cliffs, NJ: Prentice Hall 1985"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theor. Comput. Sci.25, 267?310 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"CR11","volume-title":"Communicationa and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communicationa and concurrency. Englewood Cliffs, NJ: Prentice Hall 1989"},{"key":"CR12","unstructured":"Nicollin, X., Richier, J.L., Sifakis, J., Voiron, J.: ATP: An algebra for timed processes. Technical Report, Grenoble, 1989"},{"key":"CR13","series-title":"Lect. Notes Comput. Sci.","first-page":"167","volume-title":"Concurrency and automata on infinite sequences","author":"D. Park","year":"1980","unstructured":"Park, D.: Concurrency and automata on infinite sequences. (Lect. Notes Comput. Sci., vol. 104, pp. 167?183) Berlin Heidelberg New York: Springer 1980"},{"key":"CR14","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/3-540-16761-7_81","volume-title":"A timed model for communicating sequential processes","author":"G.M. Reed","year":"1986","unstructured":"Reed, G.M., Roscoe, A.: A timed model for communicating sequential processes (Lect. Notes Comput. Sci., vol. 226, pp. 314?323) Berlin Heidelberg New York: Springer 1986"},{"key":"CR15","unstructured":"Rudkin, S., Smith, C.R.: A temporal enhancement for LOTOS. British Telecom, 1988"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01191894.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01191894\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01191894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T09:08:46Z","timestamp":1556615326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01191894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":15,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["BF01191894"],"URL":"https:\/\/doi.org\/10.1007\/bf01191894","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}