{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:18:14Z","timestamp":1742390294947},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_13","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T08:34:48Z","timestamp":1212654888000},"page":"169-183","source":"Crossref","is-referenced-by-count":21,"title":["Testing Systems Specified as Partial Order Input\/Output Automata"],"prefix":"10.1007","author":[{"given":"Gregor v.","family":"Bochmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy-Vincent","family":"Jourdan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-73066-8_12","volume-title":"Testing of Software and Communicating Systems","author":"S. Haar","year":"2007","unstructured":"Haar, S., Jard, C., Jourdan, G.V.: Testing Input\/Output Partial Order Automata. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol.\u00a04581, pp. 171\u2013185. Springer, Heidelberg (2007)"},{"issue":"3","key":"13_CR2","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Mauw, S., Reniers, M.: High-level Message Sequence Charts. In: Cavalli, A., Sarma, A. (eds.) Proceedings of the Eight SDL Forum, SDL 1997. Time for Testing - SDL MSC and Trends, Evry, France, September 23-26, 1997, pp. 291\u2013306 (1997)","DOI":"10.1016\/B978-044482816-3\/50020-4"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.tcs.2004.09.034","volume":"331","author":"R. Alur","year":"2005","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. Theor. Comput. Sci.\u00a0331(1), 97\u2013114 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11784180_20","volume-title":"Algebraic Methodology and Software Technology","author":"A. Mooij","year":"2006","unstructured":"Mooij, A., Romijn, J., Wesselink, W.: Realizability criteria for compositional MSC. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, Springer, Heidelberg (2006)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_21","volume-title":"Fundamental Approaches to Software Engineering","author":"A.J. Mooij","year":"2005","unstructured":"Mooij, A.J., Goga, N., Romijn, J.: Non-local choice and beyond: Intricacies of MSC choice nodes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, Springer, Heidelberg (2005)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Castej\u00f3n, H.N., Br\u00e6k, R., Bochmann, G.V.: Realizability of Collaboration-based Service Specification. In: APSEC conference (November 2007)","DOI":"10.1109\/APSEC.2007.79"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages & Systems\u00a017(3), 507\u2013534 (1995)","journal-title":"ACM Transactions on Programming Languages & Systems"},{"key":"13_CR9","volume-title":"Proc. FORTE 2002 (22st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems)","author":"G.v. Bochmann","year":"2002","unstructured":"Bochmann, G.v.: Submodule construction for specifications with input assumptions and output guarantees. In: FORTE 2002, Chapman & Hall, Boca Raton (2002)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Dilworth, R.P.: A decomposition theorem for partially ordered sets. Annals of Mathematics (51), 161\u2013166 (1950)","DOI":"10.2307\/1969503"},{"issue":"8","key":"13_CR11","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines \u2013 a survey. Proceedings of the IEEE\u00a084(8), 1089\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"issue":"7","key":"13_CR12","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1109\/TCOM.1984.1096134","volume":"32","author":"M.G. Gouda","year":"1984","unstructured":"Gouda, M.G., Yu, Y.-T.: Synthesis of communicating Finite State Machines with guaranteed progress. IEEE Trans on Communications\u00a0Com-32(7), 779\u2013788 (1984)","journal-title":"IEEE Trans on Communications"},{"key":"13_CR13","unstructured":"Luo, G., Dssouli, R., Bochmann, G.v., Ventakaram, P., Ghedamsi, A.: Generating synchronizable test sequences based on finite state machines with distributed ports. In: Proceedings of the IFIP Sixth International Workshop on Protocol Test Systems, Pau, France, September 1993, pp. 53\u201368 (1993)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68524-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T22:57:04Z","timestamp":1557615424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}