{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T08:46:28Z","timestamp":1648802788623},"reference-count":21,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1988,12,1]],"date-time":"1988-12-01T00:00:00Z","timestamp":596937600000},"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":["Computer Communications"],"published-print":{"date-parts":[[1988,12]]},"DOI":"10.1016\/0140-3664(88)90041-2","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T22:34:07Z","timestamp":1060295647000},"page":"291-298","source":"Crossref","is-referenced-by-count":2,"title":["Behavioural approach to OSI system design"],"prefix":"10.1016","volume":"11","author":[{"given":"Vincenza","family":"Carchiolo","sequence":"first","affiliation":[]},{"given":"Antonella","family":"Di Stefano","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Faro","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Pappalardo","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0140-3664(88)90041-2_BIB1","series-title":"Proc. Symposium on Discrete Event Syst","article-title":"A tool for the automated verification of ECCS specifications of OSI protocols","author":"Carchiolo","year":"1987"},{"key":"10.1016\/0140-3664(88)90041-2_BIB2","series-title":"Proc. 7th IFIP Workshop on Protocol Specification Testing and Verification","article-title":"Experiences with a verification and simulation tool for behavioural Languages","author":"Pappalardo","year":"1987"},{"issue":"No 4","key":"10.1016\/0140-3664(88)90041-2_BIB3","doi-asserted-by":"crossref","DOI":"10.1109\/TCOM.1980.1094685","article-title":"Formal methods in communication protocol design","volume":"Vol COM-28","author":"Bochmann","year":"1980","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/0140-3664(88)90041-2_BIB4","series-title":"Proc. 5th IFIP Workshop on Protocol Specification Testing and Verification","article-title":"Protocol verification techniques: status quo and perspective","author":"Sajkowski","year":"1984"},{"key":"10.1016\/0140-3664(88)90041-2_BIB5","series-title":"Proc. 5th IFIP Workshop on Protocol Specification Testing and Verification","article-title":"A formal comparison of formal protocol specification techniques","author":"Venkatraman","year":"1985"},{"key":"10.1016\/0140-3664(88)90041-2_BIB6","article-title":"The state of the art in protocol engineering","volume":"Vol 16","author":"Piatkowski","year":"1986"},{"key":"10.1016\/0140-3664(88)90041-2_BIB7","series-title":"\u2018ESTELLE \u2014 a formal description technique based on an extended state transition model\u2019 ISO\/TC97\/SC21\/DP9074","article-title":"Information Processing Systems \u2014 Open Systems Interconnection","year":"1987"},{"key":"10.1016\/0140-3664(88)90041-2_BIB8","series-title":"\u2018LOTOS \u2014 a formal description technique based on the temporal ordering of the observational behaviour\u2019 ISO\/TC97\/SC21\/DP8807","article-title":"Information Processing Systems \u2014 Open Systems Interconnection","year":"1985"},{"key":"10.1016\/0140-3664(88)90041-2_BIB9","article-title":"ECCS and LIPS: two languages for OSI specification and verification","author":"Carchiolo","year":"1986"},{"key":"10.1016\/0140-3664(88)90041-2_BIB10","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(83)90114-7","article-title":"Calculi for synchrony and asynchrony","volume":"Vol 25","author":"Milner","year":"1983","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/0140-3664(88)90041-2_BIB11","author":"Milner","year":"1980"},{"key":"10.1016\/0140-3664(88)90041-2_BIB12","doi-asserted-by":"crossref","DOI":"10.1145\/357103.357110","article-title":"A proof system for communicating sequential processes","volume":"Vol 2","author":"Apt","year":"1980","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"10.1016\/0140-3664(88)90041-2_BIB13","article-title":"A proof technique for commuicating sequential processes","volume":"Vol 15","author":"Levin","year":"1983","journal-title":"Acta Inf."},{"key":"10.1016\/0140-3664(88)90041-2_BIB14","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(81)90110-9","article-title":"The temporal semantics of concurrent programs","volume":"Vol 13","author":"Pnueli","year":"1981","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/0140-3664(88)90041-2_BIB15","series-title":"Proc. 3rd IFIP Workshop on Protocol Specification Testing and Verification","article-title":"An interval logic for higher level temporal reasoning","author":"Schwartz","year":"1983"},{"key":"10.1016\/0140-3664(88)90041-2_BIB16","doi-asserted-by":"crossref","DOI":"10.1145\/828.833","article-title":"A theory of communicating sequential processes","volume":"Vol 31","author":"Brookes","year":"1984","journal-title":"J. Ass. Comput. Mach."},{"key":"10.1016\/0140-3664(88)90041-2_BIB17","series-title":"Petri nets: an introduction","author":"Reisig","year":"1985"},{"key":"10.1016\/0140-3664(88)90041-2_BIB18","series-title":"Proc. Pacific Comput. Commun. '85","article-title":"CCS as a specification and verification technique: a case study and a comparison with temporal logic","author":"Carchiolo","year":"1986"},{"key":"10.1016\/0140-3664(88)90041-2_BIB19","series-title":"Proc. 4th IFIP Workshop on Protocol Specification Testing and Verification","article-title":"Modelling distributed systems in an extension of CCS with infinite experiments and temporal logic","author":"Gustavsson","year":"1985"},{"issue":"No 11","key":"10.1016\/0140-3664(88)90041-2_BIB20","doi-asserted-by":"crossref","DOI":"10.1109\/TC.1986.1676697","article-title":"A LOTOS specification of the PROWAY highway service","volume":"Vol C-35","author":"Carchiolo","year":"1986","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0140-3664(88)90041-2_BIB21","series-title":"Proc. Chip","article-title":"Performance analysis of interacting parallel systems using LIPS","author":"Carchiolo","year":"1988"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366488900412?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366488900412?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T04:57:52Z","timestamp":1585112272000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0140366488900412"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,12]]},"references-count":21,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1988,12]]}},"alternative-id":["0140366488900412"],"URL":"https:\/\/doi.org\/10.1016\/0140-3664(88)90041-2","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1988,12]]}}}