{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:29Z","timestamp":1725467429770},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648963"},{"type":"electronic","value":"9783540684558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055626","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T03:31:00Z","timestamp":1153971060000},"page":"237-252","source":"Crossref","is-referenced-by-count":11,"title":["Priority and maximal progress are completely axiomatisable (extended abstract)"],"prefix":"10.1007","author":[{"given":"Holger","family":"Hermanns","sequence":"first","affiliation":[]},{"given":"Markus","family":"Lohrey","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto and A. Jeffrey. A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. Theoretical Computer Science 152, 1995.","DOI":"10.1016\/0304-3975(94)00285-9"},{"key":"15_CR2","first-page":"58","volume":"788","author":"H. R. Andersen","year":"1994","unstructured":"H. R. Andersen and M. Mendler. An Asynchronous Process Algebra with Multiple Clocks. In Proc. ESOP 94, Springer LNCS 788:58\u201373, 1994.","journal-title":"Springer LNCS"},{"key":"15_CR3","first-page":"269","volume":"1102","author":"A. Aziz","year":"1996","unstructured":"A. Aziz, K. Sanwal, V. Singhal, and R.K. Brayton. Verifying Continuous Time Markov Chains. In Proc. CAV 96, Springer LNCS 1102:269\u2013276,1996.","journal-title":"Springer LNCS"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"J.C.M. Baeten and J.A. Bergstra. Real Time Process Algebra. Formal Aspects of Computing 3:142\u2013188, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(87)90052-1","volume":"51","author":"J.C.M. Baeten","year":"1987","unstructured":"J.C.M. Baeten, J.A. Bergstra, and J.W. Klop. On the Consistency of Koomen's Fair Abstraction Rule. Theoretical Computer Science 51:129\u2013176, 1987.","journal-title":"Theoretical Computer Science"},{"key":"15_CR6","unstructured":"J.A. Bergstra, J.W. Klop, and E.-R. Olderog. Failures Without Chaos: A New Process Semantics for Fair Abstraction. In Formal Description of Programming Concepts \u2014 III. Elsevier, 1987."},{"key":"15_CR7","first-page":"315","volume":"1119","author":"M. Bernardo","year":"1996","unstructured":"M. Bernardo and R. Gorrieri. Extended Markovian Process Algebra. In Proc. CONCUR 96, Springer LNCS 1119:315\u2013330, 1996.","journal-title":"Springer LNCS"},{"key":"15_CR8","first-page":"313","volume":"962","author":"E. Brinksma","year":"1995","unstructured":"E. Brinksma, A. Rensink, and W. Vogler. Fair Testing. In Proc. CONCUR 95, Springer LNCS 962:313\u2013327, 1995.","journal-title":"Springer LNCS"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/0890-5401(90)90059-Q","volume":"87","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland and M. Hennessy. Priorities in Process Algebra. Information and Computation 87:58\u201377,1990.","journal-title":"Information and Computation"},{"key":"15_CR10","first-page":"166","volume":"1243","author":"R. Cleaveland","year":"1997","unstructured":"R. Cleaveland, G. L\u00fcttgen, and M. Mendler. An Algebraic Theory of Multiple Clocks. In Proc. CONCUR 97, Springer LNCS 1243:166\u2013180, 1997.","journal-title":"Springer LNCS"},{"key":"15_CR11","first-page":"34","volume":"1119","author":"R. Cleaveland","year":"1996","unstructured":"R. Cleaveland, G. L\u00fcttgen, and V. Natarjan. A Process Algebra with Distributed Priorities. In Proc. CONCUR 96, Springer LNCS 1119:34\u201349,1996.","journal-title":"Springer LNCS"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"P.R. D'Argenio, J.-P. Katoen and E. Brinksma. An algebraic approach to the specification of stochastic systems (extended abstract). Proc. Working Conference on Programming Concepts and Methods. Chapman & Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"15_CR13","unstructured":"W. Feller. An Introduction to Probability Theory and Its Applications. John Wiley & Sons, 1968."},{"issue":"3\/4","key":"15_CR14","first-page":"329","volume":"32","author":"W. Fokkink","year":"1998","unstructured":"W. Fokkink. An Axiomatization for Regular Processes in Timed Branching Bisimulation. Fundamenta Informaticae 32(3\/4): 329\u2013340, 1998.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R. Glabbeek van","year":"1996","unstructured":"R. van Glabbeek and W. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM 43(3):555\u2013600,1996.","journal-title":"Journal of the ACM"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, S.A. Smolka, and B. Steffen. Reactive, Generative, and Stratified Models of Probabilistic Processes. Information and Computation 121, 1995.","DOI":"10.1006\/inco.1995.1123"},{"key":"15_CR17","unstructured":"N. G\u00f6tz, U. Herzog, and M. Rettelbach. Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In PERFORMANCE 93, Springer LNCS 729, 1993."},{"issue":"2","key":"15_CR18","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"M. Hennessy and T. Regan. A process algebra for timed systems. Information and Computation, 117(2):221\u2013239, 1995.","journal-title":"Information and Computation"},{"key":"15_CR19","unstructured":"H. Hermanns. Interactive Markov Chains. PhD thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, 1998."},{"key":"15_CR20","unstructured":"H. Hermanns, and M. Lohrey. Observational Congruence in a Stochastic Timed Calculus with Maximal Progress. Tech. Rep. IMMD-VII\/7-97, Universit\u00e4t Erlangen-N\u00fcrnberg, 1997."},{"issue":"7","key":"15_CR21","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1093\/comjnl\/38.7.530","volume":"38","author":"H. Hermanns","year":"1995","unstructured":"H. Hermanns, M. Rettelbach, and T. Wei\u00df. Formal Characterisation of Immediate Actions in an SPA with Non-Deterministic Branching. The Computer Journal, 38(7):530\u2013541, 1995.","journal-title":"The Computer Journal"},{"issue":"9\/10","key":"15_CR22","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/S0169-7552(97)00133-5","volume":"30","author":"H. Hermanns","year":"1998","unstructured":"H. Hermanns, U. Herzog, and V. Mertsiotakis. Stochastic Process Algebras \u2014 Between LOTOS and Markov Chains. Computer Networks and ISDN Systems, 30 (9\/10):901\u2013924, 1998.","journal-title":"Computer Networks and ISDN Systems"},{"key":"15_CR23","volume-title":"Syntax, Semantics, Equivalences, and Axioms for MTIPP","author":"H. Hermanns","year":"1994","unstructured":"H. Hermanns and M. Rettelbach. Syntax, Semantics, Equivalences, and Axioms for MTIPP. In Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, Erlangen-Regensberg, July 1994. IMMD, Universit\u00e4t Erlangen."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press. 1996.","DOI":"10.1017\/CBO9780511569951"},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"K.G. Larsen and A. Skou. Bisimulation through Probabilistic Testing. Information and Computation 94:1\u201328, 1991.","journal-title":"Information and Computation"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0167-6423(85)90002-4","volume":"5","author":"C.J. Koomen","year":"1985","unstructured":"C.J. Koomen. Algebraic Specification and Verification of Communication Protocols. Science of Computer Programming 5:1\u201336, 1985.","journal-title":"Science of Computer Programming"},{"key":"15_CR27","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"15_CR28","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","volume":"81","author":"R. Milner","year":"1989","unstructured":"R. Milner. A Complete Axiomatization for Observational Congruence of Finite-State Behaviours. Information and Computation 81:227\u2013247, 1989.","journal-title":"Information and Computation"},{"key":"15_CR29","first-page":"401","volume":"458","author":"F. Moller","year":"1990","unstructured":"F. Moller and C. Tofts. A Temporal Calculus of Communicating Systems. In Proc. CONCUR 90, Springer LNCS 458:401\u2013415, 1990.","journal-title":"Springer LNCS"},{"key":"15_CR30","first-page":"648","volume":"944","author":"V. Natarjan","year":"1995","unstructured":"V. Natarjan and R. Cleaveland. Divergence and Fair Testing. In Proc. ICALP 95, Springer LNCS 944:648\u2013659, 1995.","journal-title":"Springer LNCS"},{"key":"15_CR31","first-page":"217","volume":"880","author":"V. Natarajan","year":"1994","unstructured":"V. Natarajan, I. Christoff, L. Christoff, and R. Cleaveland. Priorities and Abstraction in Process Algebra. In Proc. FST&TCS 94, Springer LNCS 880:217\u2013230, 1994.","journal-title":"Springer LNCS"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An Overview and Synthesis on Timed Process Algebras. In Real-Time: Theory in Practice, Springer LNCS 600, 1991.","DOI":"10.1007\/BFb0032006"},{"key":"15_CR33","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1083","volume":"114","author":"X. Nicollin","year":"1991","unstructured":"X. Nicollin and J. Sifakis. The Algebra of Timed Processes ATP: Theory and Application. Information and Computation 114:131\u2013178, 1991.","journal-title":"Information and Computation"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.","DOI":"10.1515\/9780691223384"},{"issue":"6","key":"15_CR35","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige and R. Tarjan. Three Partition Refinement Algorithms. SIAM Journal of Computing, 16(6):973\u2013989, 1987.","journal-title":"SIAM Journal of Computing"},{"key":"15_CR36","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(90)90048-M","volume":"85","author":"D.J. Walker","year":"1990","unstructured":"D.J. Walker. Bisimulation and Divergence. Information and Computation 85:202\u2013241, 1990.","journal-title":"Information and Computation"},{"key":"15_CR37","first-page":"217","volume":"510","author":"W. Yi","year":"1991","unstructured":"W. Yi. CCS + Time = An Interleaving Model for Real Time Systems. In Proc. ICALP 91, Springer LNCS 510:217\u2013228, 1991.","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","CONCUR'98 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T02:54:42Z","timestamp":1683514482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055626"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648963","9783540684558"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/bfb0055626","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}