{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:57Z","timestamp":1725484137632},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_34","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:45:28Z","timestamp":1179362728000},"page":"607-624","source":"Crossref","is-referenced-by-count":2,"title":["A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels"],"prefix":"10.1007","author":[{"given":"Takaaki","family":"Umedu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiki","family":"Terashima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keiichi","family":"Yasumoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akio","family":"Nakata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teruo","family":"Higashino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenichi","family":"Taniguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"issue":"4","key":"34_CR1","first-page":"547","volume":"E81-A","author":"T. Ando","year":"1998","unstructured":"Ando, T., Takahashi, K., Kato, Y. and Shiratori, N.: A Concurrent Calculus with Geographical Constraints, IEICE Trans. on Fundamentals, Vol. E81-A, No. 4, pp. 547\u2013555 (1998).","journal-title":"IEICE Trans. on Fundamentals"},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/32.859530","volume":"26","author":"T. Bolognesi","year":"2000","unstructured":"Bolognesi, T.: Toward Constraint-Object-Oriented Development, IEEE Trans. on Soft. Eng., Vol. 26, No. 7, pp. 594\u2013616 (2000).","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"2","key":"34_CR3","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","volume":"118","author":"J. F. Groote","year":"1993","unstructured":"Groote, J. F.: Transition System Specification with Negative Premises, Theoretical Computer Science, Vol. 118, No. 2, pp. 263\u2013299 (1993).","journal-title":"Theoretical Computer Science"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Fevrier, A., Najm, E., Leduc, G. and Leonard, L.: Compositional Specification of ODP Binding Objects, Proc. of 6th IFIP\/ ICCC Conf. (1996).","DOI":"10.1007\/978-0-387-34985-5_21"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Hodes, T.D., Katz, R.H., Schreiber, E.S. and Rowe, L.: Composable Ad-hoc Mobile Services for Universal Interaction, Proc. of Mobile Computing and Networking(MOBICOM\u201997) (1997).","DOI":"10.1145\/262116.262121"},{"key":"34_CR6","unstructured":"ISO: Information Processing System, Open Systems Interconnection, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807 (1989)."},{"key":"34_CR7","unstructured":"Johnson, D. B., Maltz, D. A., Hu., Y. C. and Jetcheva, J. G.: The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks, IETF Internet Draft, http:\/\/www.ietf.org\/internet-drafts\/draft-ietf-manet-dsr04.txt (2000)"},{"key":"34_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes: Parts I & II, Information and Computation 100, pp. 1\u201377 (1992).","journal-title":"Information and Computation"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Najm, E., Stefani, J.B. and Fevrier, A.: Towards a Mobile LOTOS, Proc. of 8th IFIP Intl. Conf. on Formal Description Techniques (FORTE\u201995) (1995).","DOI":"10.1007\/978-0-387-34945-9_10"},{"key":"34_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-56610-4_62","volume-title":"Proc. of Theory and Practice of Software Development (TAPSOFT\u201993)","author":"D. Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: From \u03c0-calculus to Higher-Order \u03c0-calculus \u2014 and back, Proc. of Theory and Practice of Software Development (TAPSOFT\u201993), Lecture Notes in Computer Science Vol. 668, pp. 151\u2013166 (1993)."},{"issue":"11","key":"34_CR11","first-page":"1045","volume":"30","author":"R. Tuok","year":"1998","unstructured":"Tuok, R., Logrippo, L.: Formal Specification and Use Case Generation for a Mobile Telephony System, Computer Networks, Vol. 30, No. 11, pp. 1045\u20131063 (1998).","journal-title":"Computer Networks"},{"key":"34_CR12","unstructured":"Vissers, C. A., Scollo, G. and Sinderen, M. v.: Architecture and Specification Style in Formal Descriptions of Distributed Systems, Proc. 8th Int. Conf. on Protocol Specification, Testing, and Verification (PSTV\u201988), pp. 189\u2013204 (1988)."},{"key":"34_CR13","unstructured":"Umedu, T., Yasumoto, K., Nakata, A., Yamaguchi, H., Higashino, T. and Taniguchi, K.: Middleware for Supporting Multi-way Synchronization in Wireless Ad Hoc Networks, submitted for publication. (the technical report version can be found in http:\/\/www-higashi.ist.osaka-u.ac.jp\/~umedu\/papers\/middleware.pdf )."},{"issue":"2\u20133","key":"34_CR14","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S1389-1286(01)00157-8","volume":"36","author":"K. Yasumoto","year":"2001","unstructured":"Yasumoto, K., Higashino, T. and Taniguchi, K.: A compiler to implement LOTOS specifications in distributed environments, Computer Networks, Vol. 36, No. 2\u20133, pp. 291\u2013310 (2001).","journal-title":"Computer Networks"}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:05:43Z","timestamp":1556409943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}