{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:44:44Z","timestamp":1710251084821},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,2,22]],"date-time":"2012-02-22T00:00:00Z","timestamp":1329868800000},"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":[[2012,3]]},"DOI":"10.1007\/s00236-012-0151-5","type":"journal-article","created":{"date-parts":[[2012,2,21]],"date-time":"2012-02-21T10:59:51Z","timestamp":1329821991000},"page":"69-103","source":"Crossref","is-referenced-by-count":7,"title":["A trace-based service semantics guaranteeing deadlock freedom"],"prefix":"10.1007","volume":"49","author":[{"given":"Christian","family":"Stahl","sequence":"first","affiliation":[]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,2,22]]},"reference":[{"issue":"2","key":"151_CR1","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1006\/inco.2001.3080","volume":"172","author":"M. Boreale","year":"2002","unstructured":"Boreale M., De Nicola R., Pugliese R.: Trace and testing equivalence on asynchronous processes. Inf. Comput. 172(2), 139\u2013164 (2002)","journal-title":"Inf. Comput."},{"issue":"3","key":"151_CR2","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes S.D., Hoare C.A.R., Roscoe A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560\u2013599 (1984)","journal-title":"J. ACM"},{"key":"151_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/SIGSOFT FSE 2001, pp. 109\u2013120 (2001)","DOI":"10.1145\/503271.503226"},{"key":"151_CR4","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M.: The failure of failures in a paradigm for asynchronous communication. In: CONCUR 1991, LNCS, vol. 527, pp. 111\u2013126. Springer (1991)","DOI":"10.1007\/3-540-54430-5_84"},{"issue":"2","key":"151_CR5","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. De Nicola","year":"1987","unstructured":"De Nicola R.: Extensional equivalences for transition systems. Acta Inf. 24(2), 211\u2013237 (1987)","journal-title":"Acta Inf."},{"key":"151_CR6","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. De Nicola","year":"1984","unstructured":"De Nicola R., Hennessy M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"151_CR7","doi-asserted-by":"crossref","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems: Bridging People and Software through Process Technology","author":"M. Dumas","year":"2005","unstructured":"Dumas M., van der Aalst W.M.P., ter Hofstede A.H.M.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley, New York (2005)"},{"key":"151_CR8","doi-asserted-by":"crossref","unstructured":"Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-free conformance. In: CAV 2004, LNCS, vol. 3114, pp. 242\u2013254. Springer (2004)","DOI":"10.1007\/978-3-540-27813-9_19"},{"key":"151_CR9","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft J.E., Ullman J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)"},{"key":"151_CR10","doi-asserted-by":"crossref","unstructured":"Laneve, C., Padovani, L.: The must preorder revisited. In: CONCUR 2007, LNCS, vol. 4703, pp. 212\u2013225. Springer (2007)","DOI":"10.1007\/978-3-540-74407-8_15"},{"key":"151_CR11","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: ICATPN 2007, LNCS, vol. 4546, pp. 321\u2013341. Springer (2007)","DOI":"10.1007\/978-3-540-73094-1_20"},{"key":"151_CR12","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Wolf, K.: Petrifying operating guidelines for services. In: ACSD 2009, pp. 80\u201388. IEEE Computer Society (2009)","DOI":"10.1109\/ACSD.2009.11"},{"key":"151_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2011-390","volume":"107","author":"N. Lohmann","year":"2011","unstructured":"Lohmann N., Wolf K.: Compact representations and efficient algorithms for operating guidelines. Fundam. Inform. 107, 1\u201319 (2011)","journal-title":"Fundam. Inform."},{"key":"151_CR14","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch N.: Distributed Algorithms. Morgan Kaufmann Publishers, San Francisco (1996)"},{"issue":"1","key":"151_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner R.: Fully abstract models of typed lambda-calculi. Theor. Comput. Sci. 4(1), 1\u201322 (1977)","journal-title":"Theor. Comput. Sci."},{"key":"151_CR16","doi-asserted-by":"crossref","unstructured":"Mooij, A.J., Voorhoeve, M.: Proof techniques for adapter generation. In: WS-FM 2008, LNCS, vol. 5387, pp. 207\u2013223. Springer (2009)","DOI":"10.1007\/978-3-642-01364-5_13"},{"key":"151_CR17","volume-title":"Web Services: Principles and Technology","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou M.P.: Web Services: Principles and Technology. Pearson, Essex (2007)"},{"key":"151_CR18","doi-asserted-by":"crossref","unstructured":"Stahl, C., Massuthe, P., Bretschneider, J.: Deciding substitutability of services with operating guidelines. In: ToPNoC II, LNCS 5460, pp. 172\u2013191. Springer (2009)","DOI":"10.1007\/978-3-642-00899-3_10"},{"key":"151_CR19","doi-asserted-by":"crossref","unstructured":"Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. LNCS, vol. 625. Springer (1992)","DOI":"10.1007\/3-540-55767-9"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-012-0151-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-012-0151-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-012-0151-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,2]],"date-time":"2020-07-02T19:56:50Z","timestamp":1593719810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-012-0151-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,22]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["151"],"URL":"https:\/\/doi.org\/10.1007\/s00236-012-0151-5","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,22]]}}}