{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:56:10Z","timestamp":1763178970760,"version":"3.45.0"},"reference-count":21,"publisher":"Information Processing Society of Japan","issue":"0","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Information Processing"],"published-print":{"date-parts":[[2025]]},"DOI":"10.2197\/ipsjjip.33.852","type":"journal-article","created":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T22:09:55Z","timestamp":1763158195000},"page":"852-865","source":"Crossref","is-referenced-by-count":0,"title":["Equivalence Relations for the Synchronized Ambient Calculus"],"prefix":"10.2197","volume":"33","author":[{"given":"Toru","family":"Kato","sequence":"first","affiliation":[{"name":"Faculty of Informatics, Cyber Informatics Research Institute, Kindai University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1012","reference":[{"key":"1","unstructured":"[1] Aubert, C. and Cristescu, I.: Reversible Barbed Congruence on Configuration Structures, arXiv preprint arXiv:1508.04852 (2015) (online), available from &lt;https:\/\/arxiv.org\/abs\/1508.04852&gt;."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Bonchi, F., Gadducci, F. and Monreale, G.V.: On Barbs and Labels in Reactive Systems, <i>Proc. 5th Workshop on Structural Operational Semantics<\/i> (<i>SOS 2009<\/i>), Electronic Proceedings in Theoretical Computer Science, Vol.18, pp.46-61, Open Publishing Association (2010).","DOI":"10.4204\/EPTCS.18.4"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Brinksma, E., Rensink, A. and Vogler, W.: Fair Testing, <i>LNCS<\/i>, Vol.962, pp.313-327 (1995).","DOI":"10.1007\/3-540-60218-6_23"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Cao, Z.: A Uniform Reduction Equivalence for Process Calculi, <i>Programming Languages and Systems<\/i>, Lecture Notes in Computer Science, Vol.3302, pp.179-195, Springer (2004).","DOI":"10.1007\/978-3-540-30477-7_12"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Cardelli, L. and Gordon, A.D.: Mobile Ambients, <i>Theoretical Computer Science<\/i>, Vol.240, pp.177-213 (2000).","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Cardelli, L.: Abstractions for Mobile Computation, <i>Secure Internet Programming: Security Issues for Mobile and Distributed Objects<\/i>, Vitek, J. and Jensen, C.D., (Eds.), pp.51-94, Springer Berlin Heidelberg (1999).","DOI":"10.1007\/3-540-48749-2_4"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Gordon, A.D. and Cardelli, L.: Equational Properties of Mobile Ambients, <i>Mathematical Structures in Computer Science<\/i>, Vol.13, No.3, pp.371-408 (2003).","DOI":"10.1017\/S0960129502003742"},{"key":"8","unstructured":"[8] Gul, N.: A Calculus of Mobility and Communication for Ubiquitous Computing, arXiv preprint arXiv:1508.03908 (2015) (online), available from &lt;https:\/\/arxiv.org\/abs\/1508.03908&gt;."},{"key":"9","unstructured":"[9] Hoare, C.: <i>Communicating Sequential Processes<\/i>, Prentice Hall (1985)."},{"key":"10","unstructured":"[10] Kato, T.: An Equational Relation for Ambient Calculus, <i>Trans. Information Processing Society of Japan<\/i>, Vol.46, No.12, pp.3016-3029 (2005)."},{"key":"11","unstructured":"[11] Kato, T.: An Equational Relation for The Typed Ambient Calculus, <i>Trans. Information Processing Society of Japan<\/i>, Vol.48, No.SIG 10(PRO33), pp.90-100 (2007)."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Kato, T., Higuchi, M., Ohyama, H., Kawamura, Y. and Ohno, R.: Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus, <i>Proc. 20th IEEE International Symposium on Parallel and Distributed Processing with Applications<\/i>, pp.755-763, IEEE (2022).","DOI":"10.1109\/ISPA-BDCloud-SocialCom-SustainCom57177.2022.00102"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Kato, T. and Hirashima, Y.: The synchronized ambient calculus, <i>Theoretical Computer Science<\/i>, Vol.994, p.114479 (2024) (online), available from &lt;https:\/\/www.sciencedirect.com\/science\/article\/pii\/S030439752400094X&gt;.","DOI":"10.1016\/j.tcs.2024.114479"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Kato, T., Sakakibara, Y. and Higuchi, M.: A Logistics Simulator with the Ambient Calculus for Modelling Intra-regional Truck Transportation, <i>Proc. 49th Annual Conference of the IEEE Industrial Electronics Society<\/i>, pp.IECON23-001203, IEEE (2023) (online), available from &lt;https:\/\/ieeexplore.ieee.org\/document\/10311795&gt;.","DOI":"10.1109\/IECON51785.2023.10311795"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Levi, F. and Sangiorgi, D.: Mobile Safe Ambients, <i>ACM Trans. Programming Languages and Systems<\/i>, Vol.25, No.1, pp.1-69 (2003).","DOI":"10.1145\/596980.596981"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Merro, M. and Hennessy, M.: Bisimulation Congruences in Safe Ambients, <i>Proc. 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages<\/i> (<i>POPL 2002<\/i>), pp.71-80, ACM (2002).","DOI":"10.1145\/503272.503280"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Merro, M. and Hennessy, M.: A bisimulation-based semantic theory of Safe Ambients, <i>ACM Trans. Programming Languages and Systems<\/i>, Vol.28, No.2, pp.290-330 (2006).","DOI":"10.1145\/1119479.1119482"},{"key":"18","unstructured":"[18] Milner, R.: <i>Communication and Concurrency<\/i>, Prentice Hall (1989)."},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Milner, R., Parrow, J. and Walker, D.: A Calculus of Mobile Processes, Parts I and II, <i>Journal of Information and Computation<\/i>, Vol.100, pp.1-77 (1992).","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Nicola, R.D. and Hennessy, M.: Testing Equivalences for Processes, <i>TCS<\/i>, Vol.34, pp.83-133 (1984).","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Parrow, J.: An Introduction to the \u03c0-Calculus, <i>HANDBOOK OF PROCESS ALGEBRA<\/i>, Bergstra, J.A., Ponse, A. and smolka, S.A., (Eds.), NORTH-HOLLAND, pp.479-543 (2001).","DOI":"10.1016\/B978-044482830-9\/50026-6"}],"container-title":["Journal of Information Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/ipsjjip\/33\/0\/33_852\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:46:58Z","timestamp":1763178418000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/ipsjjip\/33\/0\/33_852\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":21,"journal-issue":{"issue":"0","published-print":{"date-parts":[[2025]]}},"URL":"https:\/\/doi.org\/10.2197\/ipsjjip.33.852","relation":{},"ISSN":["1882-6652"],"issn-type":[{"type":"electronic","value":"1882-6652"}],"subject":[],"published":{"date-parts":[[2025]]}}}