{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:46:32Z","timestamp":1758123992500},"reference-count":22,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1016\/0950-5849(92)90145-f","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T21:31:39Z","timestamp":1060291899000},"page":"513-521","source":"Crossref","is-referenced-by-count":5,"title":["Formal description techniques and automated protocol synthesis"],"prefix":"10.1016","volume":"34","author":[{"given":"V","family":"Carchiolo","sequence":"first","affiliation":[]},{"given":"A","family":"Faro","sequence":"additional","affiliation":[]},{"given":"D","family":"Giordano","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"No 12","key":"10.1016\/0950-5849(92)90145-F_BIB1","doi-asserted-by":"crossref","DOI":"10.1145\/125319.125323","article-title":"Designing for cooperation: cooperating design","volume":"Vol 34","author":"Kyng","year":"1991","journal-title":"Commun. ACM"},{"key":"10.1016\/0950-5849(92)90145-F_BIB2","series-title":"Proc. Information Processing 86","article-title":"Specification and development of reactive systems","author":"Pnueli","year":"1986"},{"issue":"No 6","key":"10.1016\/0950-5849(92)90145-F_BIB3","doi-asserted-by":"crossref","DOI":"10.1016\/0140-3664(88)90041-2","article-title":"A behavioural approach to OSI systems design","volume":"Vol 11","author":"Carchiolo","year":"1988","journal-title":"Comput. Commun."},{"issue":"No 1","key":"10.1016\/0950-5849(92)90145-F_BIB4","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","article-title":"Synthesis of communicating processes from temporal logic specification","volume":"Vol 6","author":"Manna","year":"1984","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"No 3","key":"10.1016\/0950-5849(92)90145-F_BIB5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","article-title":"Using branching time temporal logic to synthesize synchronization skeletons","volume":"Vol 2","author":"Emerson","year":"1982","journal-title":"Sci. Comput. Prog."},{"issue":"No 11","key":"10.1016\/0950-5849(92)90145-F_BIB6","doi-asserted-by":"crossref","DOI":"10.1109\/TC.1986.1676697","article-title":"A LOTOS specification of the PROWAY highway service","volume":"Vol 35","author":"Carchiolo","year":"1986","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0950-5849(92)90145-F_BIB7","series-title":"Verifying concurrent process using temporal logic","author":"Hailpern","year":"1982"},{"issue":"No 2","key":"10.1016\/0950-5849(92)90145-F_BIB8","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite-state concurrent systems using temporal logic specifications","volume":"Vol 8","author":"Emerson","year":"1986","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"10.1016\/0950-5849(92)90145-F_BIB9","series-title":"Proc. 9th Int. Conf. Computer Communication Technologies for the '90s","article-title":"BIP systems: a tool for protocol verification","author":"Carchiolo","year":"1988"},{"key":"10.1016\/0950-5849(92)90145-F_BIB10","article-title":"Specification styles in distributed systems design and verification","author":"Vissers","year":"1990","journal-title":"Memoranda Information 90-06"},{"key":"10.1016\/0950-5849(92)90145-F_BIB11","author":"Petri","year":"1980"},{"key":"10.1016\/0950-5849(92)90145-F_BIB12","series-title":"A calculus of communicating systems","author":"Milner","year":"1980"},{"key":"10.1016\/0950-5849(92)90145-F_BIB13","series-title":"Communicating sequential processes","author":"Hoare","year":"1985"},{"key":"10.1016\/0950-5849(92)90145-F_BIB14","series-title":"Temporal logic","author":"Rescher","year":"1971"},{"key":"10.1016\/0950-5849(92)90145-F_BIB15","doi-asserted-by":"crossref","DOI":"10.1007\/BF01257083","article-title":"The temporal logic of branching time","volume":"Vol 20","author":"Ben-Ari","year":"1983","journal-title":"Acta Inf."},{"key":"10.1016\/0950-5849(92)90145-F_BIB16","series-title":"Proc. IEEE Tencon '90\u2014Computer and Communication Systems","article-title":"On the design of distributed systems by ECCS and CSP based approaches","author":"Carchiolo","year":"1990"},{"key":"10.1016\/0950-5849(92)90145-F_BIB17","doi-asserted-by":"crossref","DOI":"10.1145\/357195.357196","article-title":"On the construction of sub-module specifications and communication protocols","author":"Merlin","year":"1983","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"10.1016\/0950-5849(92)90145-F_BIB18","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(89)90128-X","article-title":"Submodule construction as equation solving in CCS","volume":"Vol 68","author":"Parrow","year":"1989","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0950-5849(92)90145-F_BIB19","series-title":"Proc. 1988 Int. Conf. Systems Science and Engineering","article-title":"An algebraic calculus for the synthesis of discrete event processes","author":"Carchiolo","year":"1988"},{"key":"10.1016\/0950-5849(92)90145-F_BIB20","article-title":"Solving the interface equation","author":"Shields","year":"1979"},{"key":"10.1016\/0950-5849(92)90145-F_BIB21","series-title":"Proc. IEEE Workshop on the future trends of Distributed Computing Systems in the 1990s","article-title":"A tool for the synthesis of discrete controllers for distributed systems","author":"Carchiolo","year":"1988"},{"key":"10.1016\/0950-5849(92)90145-F_BIB22","article-title":"Synthesis of CCS processes and strategies for the generation of minimal solutions","author":"Giordano","year":"1990"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499290145F?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499290145F?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T00:27:00Z","timestamp":1552609620000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095058499290145F"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":22,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["095058499290145F"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(92)90145-f","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}