{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:53:08Z","timestamp":1648673588324},"reference-count":18,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1982,12,1]],"date-time":"1982-12-01T00:00:00Z","timestamp":407548800000},"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 Networks (1976)"],"published-print":{"date-parts":[[1982,12]]},"DOI":"10.1016\/0376-5075(82)90111-8","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:17:02Z","timestamp":1060298222000},"page":"397-418","source":"Crossref","is-referenced-by-count":1,"title":["State architecture notation and simulation: A formal technique for the specification and testing of protocol systems"],"prefix":"10.1016","volume":"6","author":[{"given":"Thomas F","family":"Piatkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lap-Kin","family":"Ip","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dayun","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0376-5075(82)90111-8_BIB1_1","series-title":"Proceedings of the NATO Advanced Study Institute on New Concepts in Multi-User Communication","first-page":"537","article-title":"An Engineering Discipline for Distributed Protocol Systems","author":"Piatkowski","year":"1980"},{"key":"10.1016\/0376-5075(82)90111-8_BIB1_2","series-title":"Proceedings of the First International Workshop on Protocol Specification, Testing and Verification","author":"Piatkowski","year":"1981"},{"key":"10.1016\/0376-5075(82)90111-8_BIB2","article-title":"Finite-State Architecture","author":"Piatkowski","year":"1975","journal-title":"IBM Technical Report, TR29.0133"},{"key":"10.1016\/0376-5075(82)90111-8_BIB3","doi-asserted-by":"crossref","DOI":"10.31274\/rtd-180813-7961","article-title":"A General Purpose State Architecture Simulator for Discrete Systems with Application in Data Communication Protocols","author":"Ip","year":"1982"},{"key":"10.1016\/0376-5075(82)90111-8_BIB4","article-title":"A Formal Model of the Advanced Data Communication Control Procedures (ADCCP)","author":"Piatkowski","year":"1979"},{"key":"10.1016\/0376-5075(82)90111-8_BIB5","series-title":"SNA Format and Protocol Reference Manual: Architecture Logic","year":"1980"},{"key":"10.1016\/0376-5075(82)90111-8_BIB6","series-title":"IEEE Std 488-1978","article-title":"IEEE Standard Digital Interface for Programmable Instrumentation","year":"1978"},{"issue":"Number 4","key":"10.1016\/0376-5075(82)90111-8_BIB7","doi-asserted-by":"crossref","DOI":"10.1109\/TCOM.1980.1094695","article-title":"Executable Description and Validation of SNA","volume":"Volume COM-28","author":"Schultz","year":"1980","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/0376-5075(82)90111-8_BIB8","series-title":"Proceedings of the Second International Workshop on Protocol Specification, Testing and Verification","article-title":"Generating a Service Specification of a Connection Management Protocol","author":"Blumer","year":"1982"},{"key":"10.1016\/0376-5075(82)90111-8_BIB9","article-title":"Finite State Automaton \u2014 Definition of Data Communication Line Control Procedures","volume":"vol. 37","author":"Bjorner","year":"1970"},{"key":"10.1016\/0376-5075(82)90111-8_BIB10","series-title":"Communication Protocol Modelling","year":"1981"},{"key":"10.1016\/0376-5075(82)90111-8_BIB11","series-title":"Computer Network Architectures and Protocols","year":"1982"},{"key":"10.1016\/0376-5075(82)90111-8_BIB12","series-title":"Proceedings of the First International Workshop on Protocol Specification, Testing and Verification","year":"1981"},{"key":"10.1016\/0376-5075(82)90111-8_BIB13","series-title":"Proceedings of the Second International Workshop on Protocol Specification, Testing and Verification","year":"1982"},{"key":"10.1016\/0376-5075(82)90111-8_BIB14","article-title":"Recommendation X.21, General Purpose Interface Between Data Terminal Equipment (DTE) and Data Circuit-Terminating Equipment (DCE) for Synchronous Operation of Public Data Networks","volume":"vol. VIII.2-Rec.X21","year":"1972-1976"},{"key":"10.1016\/0376-5075(82)90111-8_BIB15","article-title":"Provisional Recommendation X.25, Interface Between Data Terminal Equipment (DTE) and Data Circuit-Terminating Equipment (DCE) for Terminals Operating in the Packet Mode on Public Data Networks","year":"1976-1977"},{"key":"10.1016\/0376-5075(82)90111-8_BIB16","series-title":"The Ethernet, A Local Area Network, Data Link Layer and Physical Layer Specification","year":"1980"},{"key":"10.1016\/0376-5075(82)90111-8_BIB17","unstructured":"Working Papers of ISO TC97\/SC16\/WG1\u2026for material on Open Systems Architecture."}],"container-title":["Computer Networks (1976)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0376507582901118?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0376507582901118?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:59:18Z","timestamp":1585112358000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0376507582901118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,12]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1982,12]]}},"alternative-id":["0376507582901118"],"URL":"https:\/\/doi.org\/10.1016\/0376-5075(82)90111-8","relation":{},"ISSN":["0376-5075"],"issn-type":[{"value":"0376-5075","type":"print"}],"subject":[],"published":{"date-parts":[[1982,12]]}}}