{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:01:19Z","timestamp":1778299279033,"version":"3.51.4"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf02277857","type":"journal-article","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T18:39:49Z","timestamp":1138214389000},"page":"129-135","source":"Crossref","is-referenced-by-count":50,"title":["Decidability of the termination problem for completely specified protocols"],"prefix":"10.1007","volume":"7","author":[{"given":"Alain","family":"Finkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02277857_CR1","unstructured":"Aggarwal S, Gopinath B: Special issue on tools for computer communication systems. IEEE Trans Softw Eng 14(3) (1988)"},{"key":"BF02277857_CR2","first-page":"361","volume":"2","author":"G Bochmann","year":"1978","unstructured":"Bochmann G: Finite state description of communication protocols. Comput Network (2): 361\u2013372 (1978)","journal-title":"Comput Network"},{"key":"BF02277857_CR3","unstructured":"Bochmann G, Finkel A: Impact of queued interaction on protocol specification and verification. 2nd Int Symp on Interoperable Information Systems (ISIIS '88) Tokyo, Japan (1988)."},{"key":"BF02277857_CR4","unstructured":"Brand D, Zafiropulo P: On communicating finite-state machines. Research Report, RZ 1053, IBM Zurich Research Laboratory, pp 1\u201383 (1981)"},{"issue":"2","key":"BF02277857_CR5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand D, Zafiropulo P: On communicating finite-state machines. J ACM 30(2): 323\u2013342 (1983)","journal-title":"J ACM"},{"key":"BF02277857_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets 1986, Part 1, Bad Honnef","author":"W Brauer","year":"1986","unstructured":"Brauer W, Reisig W, Rozenberg G: Petri nets: Central models and their properties. Advances in Petri Nets 1986, Part 1, Bad Honnef, Lect Notes Comput Sci vol 254. Springer, Berlin Heidelberg New York 1986"},{"key":"BF02277857_CR7","unstructured":"Author deleted"},{"key":"BF02277857_CR8","unstructured":"Choquet A, Finkel A: Simulation of linear fifo nets by Petri nets having a structured set of terminal markings. 8th European Workshop on Applications and theory of Petri nets, Zaragoza, Spain (1987)"},{"issue":"4","key":"BF02277857_CR9","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1145\/6110.214400","volume":"3","author":"C Chow","year":"1985","unstructured":"Chow C, Gouda M, Lam S: A discipline for constructing multiphase communication protocols. ACM Trans Comput Syst 3(4): 315\u2013343 (1985)","journal-title":"ACM Trans Comput Syst"},{"key":"BF02277857_CR10","unstructured":"Favreau J M: Personal communication (1988)"},{"key":"BF02277857_CR11","unstructured":"Finkel A: Structuration des syst\u00e8mes de transitions: applications au contr\u00f4le du parall\u00e9lisme par files fifo. Th\u00e8se d'Etat, University Paris 11 (1986)"},{"key":"BF02277857_CR12","doi-asserted-by":"crossref","unstructured":"Finkel A: A generalization of the procedure of Karp and Miller to well structured transition system. 14th ICALP Karlsruhe, RFA. Ottmann (ed:) LNCS 267: 499\u2013508 (1987)","DOI":"10.1007\/3-540-18088-5_43"},{"key":"BF02277857_CR13","unstructured":"Finkel A: A new class of analyzable CFSM with unbounded fifo channels. 8th International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, IFIP WG6.188 (1988)"},{"key":"BF02277857_CR14","first-page":"106","volume":"340","author":"A Finkel","year":"1988","unstructured":"Finkel A, Rosier L: A survey on decidability results for classes of fifo nets. Advances in Petri Nets 1988. LNCS 340: 106\u2013132 (1988)","journal-title":"LNCS"},{"key":"BF02277857_CR15","unstructured":"Author deleted"},{"issue":"6","key":"BF02277857_CR16","first-page":"846","volume":"10","author":"M Gouda","year":"1984","unstructured":"Gouda M: To verify progress for Communicating Finite State Machines. IEEE Trans 10(6): 846\u2013855 (1984)","journal-title":"IEEE Trans"},{"key":"BF02277857_CR17","doi-asserted-by":"crossref","unstructured":"Gouda M, Yu Y: Synthesis of Communicating Finite State Machines with guaranteed progress. IEEE Transactions on Communications 32(7) (1984)","DOI":"10.1109\/TCOM.1984.1096134"},{"key":"BF02277857_CR18","unstructured":"Author deleted"},{"issue":"3","key":"BF02277857_CR19","first-page":"209","volume":"6","author":"M Gouda","year":"1987","unstructured":"Gouda M, Gurari E, Lai T, Rosier L: On deadlock detection in systems of communicating finite state machines. Comput Artif Intell 6(3): 209\u2013228 (1987)","journal-title":"Comput Artif Intell"},{"key":"BF02277857_CR20","doi-asserted-by":"crossref","unstructured":"Higman G: Ordering by divisibility in abstract algebras. Proc Lond Math Soc 2 (1952)","DOI":"10.1112\/plms\/s3-2.1.326"},{"key":"BF02277857_CR21","first-page":"147","volume":"4","author":"R Karp","year":"1969","unstructured":"Karp R, Miller R: Parallel program schemata. JCSS 4, 147\u2013195 (1969)","journal-title":"JCSS"},{"key":"BF02277857_CR22","volume-title":"Theorie der endlichen und unendlichen Graphen","author":"D Koenig","year":"1936","unstructured":"Koenig D: Theorie der endlichen und unendlichen Graphen. Akademische Verlagsgesellschaft, Leipzig 1936"},{"key":"BF02277857_CR23","doi-asserted-by":"crossref","unstructured":"Lam S, Shankar U: Protocol verification via projections. IEEE Transact Softw Eng 10(4) (1984)","DOI":"10.1109\/TSE.1984.5010246"},{"key":"BF02277857_CR24","doi-asserted-by":"crossref","unstructured":"Lin F, Chu P, Liu M: Protocol verification using reachability analysis: the state space explosion problem and relief strategies. ACM SIGCOMM '87, Frontiers in Computer Communications Technology\u201d Stowe, Vermont vol 17, no 5 (1987)","DOI":"10.1145\/55483.55496"},{"key":"BF02277857_CR25","unstructured":"Author deleted"},{"key":"BF02277857_CR26","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/BF01667082","volume":"2","author":"R Miller","year":"1987","unstructured":"Miller R: The construction of self-synchronizing finite state protocols. Distrib Comput 2: 104\u2013112 (1987)","journal-title":"Distrib Comput"},{"key":"BF02277857_CR27","unstructured":"Pachl J: Reachability problems for CFSMs. Research Report CS-82-12, University of Waterloo, Dept of Comput Sci (1982)"},{"key":"BF02277857_CR28","unstructured":"Pachl J: Protocol description and analysis based on a state transition model with channel expressions. Rudin H, West CH (eds) 7th Int Workshop on Protocol Specification, Testing, and Verification Montr\u00e9al, Qu\u00e9bec. IFIP 87, Elsevier Science Publishers B.V. (North Holland), pp 207\u2013219"},{"key":"BF02277857_CR29","doi-asserted-by":"crossref","unstructured":"Ramamoorthy C, Yaw Y, Aggarwal R, Song J: Synthesis of two party error recoverable protocols. ACM-SIGCOMM '86 Symposium, Communications Architectures & Protocols, Stowe, Vermont (1986)","DOI":"10.1145\/18172.18198"},{"key":"BF02277857_CR30","unstructured":"Author deleted"},{"key":"BF02277857_CR31","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0304-3975(86)90110-6","volume":"44","author":"L Rosier","year":"1986","unstructured":"Rosier L, Yen H: Boundedness, empty channel detection, and synchronization for communicating finite automata. Theor Comput Sci 44: 69\u2013105 (1986)","journal-title":"Theor Comput Sci"},{"key":"BF02277857_CR32","first-page":"65","volume":"6","author":"J Rubin","year":"1982","unstructured":"Rubin J, West CH: An improved protocol validation technique. Comput Networks 6: 65\u201373 (1982)","journal-title":"Comput Networks"},{"key":"BF02277857_CR33","unstructured":"Author deleted"},{"key":"BF02277857_CR34","unstructured":"Sunshine C: Formal modelling of communication protocols. In: Schoemaker (ed) Computer networks and simulation 2. North Holland, 1982"},{"key":"BF02277857_CR35","doi-asserted-by":"crossref","unstructured":"Vuong ST, Cowan DD: Reachability analysis of protocols with fifo channels. ACM-SIGCOMM '83 Symposium Communications Architectures and Protocols. University of Texas at Austin, March 8\u20139. In: Computer Communication Review, vol 13, no 2 (1983)","DOI":"10.1145\/1024840.1035250"},{"key":"BF02277857_CR36","unstructured":"Author deleted"},{"issue":"4","key":"BF02277857_CR37","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"28","author":"P Zafiropulo","year":"1980","unstructured":"Zafiropulo P, Zafiropulo AL: Towards analyzing and synthesizing protocols. IEEE Trans Commun 28(4): 651\u2013661 (1980)","journal-title":"IEEE Trans Commun"},{"key":"BF02277857_CR38","unstructured":"Zhao Z, Bochmann G: Reduced reachability analysis of communication protocols: a new approach. 6th Int Workshop on Protocol Specification, Testing, and Verification Montr\u00e9al, Qu\u00e9bec. IFIP 7, North Holland (1986)"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02277857.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02277857\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02277857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T18:28:42Z","timestamp":1557944922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02277857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF02277857"],"URL":"https:\/\/doi.org\/10.1007\/bf02277857","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}