{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T15:58:34Z","timestamp":1648915114792},"reference-count":18,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"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 and ISDN Systems"],"published-print":{"date-parts":[[1993,2]]},"DOI":"10.1016\/0169-7552(93)90050-e","type":"journal-article","created":{"date-parts":[[2003,11,18]],"date-time":"2003-11-18T06:27:07Z","timestamp":1069136827000},"page":"815-839","source":"Crossref","is-referenced-by-count":12,"title":["Tool support to implement LOTOS formal specifications"],"prefix":"10.1016","volume":"25","author":[{"given":"Jos\u00e9A.","family":"Ma\u00f1as","sequence":"first","affiliation":[]},{"given":"Tom\u00e1s","family":"de Miguel","sequence":"additional","affiliation":[]},{"given":"Joaqu\u00edn","family":"Salvach\u00faa","sequence":"additional","affiliation":[]},{"given":"Arturo","family":"Azcorra","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(93)90050-E_BIB1","series-title":"Proc. IFIP WG6.1 6th International Workshop","first-page":"349","article-title":"LOTOS specifications, their implementations and their tests","author":"Brinksma","year":"1987"},{"key":"10.1016\/0169-7552(93)90050-E_BIB2","series-title":"Proc. IFIP TC6 3rd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 90","first-page":"487","article-title":"The SRTS experience: using TOPO for LOTOS design and realization","author":"de Miguel","year":"1991"},{"key":"10.1016\/0169-7552(93)90050-E_BIB3","article-title":"Testing equivalence and fully abstract models for communicating processes","author":"de Nicola","year":"1985","journal-title":"Master's Thesis, University of Edinburgh, Mayfield Road, Edinburgh"},{"key":"10.1016\/0169-7552(93)90050-E_BIB4","series-title":"An Algebraic Theory of Processes","author":"Hennessy","year":"1988"},{"key":"10.1016\/0169-7552(93)90050-E_BIB5","series-title":"Information Processing Systems\u2014Open Systems Interconnection: LOTOS\u2014A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour","author":"ISO IS 8807","year":"1989"},{"key":"10.1016\/0169-7552(93)90050-E_BIB6","series-title":"Information Processing Systems\u2014Open Systems Interconnection: Specification of Abstract Syntax Notation (ASN.1)","author":"ISO IS 8824","year":"1987"},{"key":"10.1016\/0169-7552(93)90050-E_BIB7","series-title":"Information Processing Systems\u2014Open Systems Interconnection: Specification of Basic Encoding Rules for Abstract Syntax Notation (ASN.1)","author":"ISO IS 8825","year":"1987"},{"key":"10.1016\/0169-7552(93)90050-E_BIB8","series-title":"The Formal Description Technique LOTOS","first-page":"439","article-title":"Dining philosophers: a constraint oriented specification","author":"Ma\u00f1as","year":"1989"},{"key":"10.1016\/0169-7552(93)90050-E_BIB9","series-title":"Proc. 1st International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 88","first-page":"79","article-title":"From LOTOS to C","author":"Ma\u00f1as","year":"1989"},{"key":"10.1016\/0169-7552(93)90050-E_BIB10","article-title":"The sieve of Eratosthenes: an evaluation of compilation performance","author":"Ma\u00f1as","year":"1990","journal-title":"Working Paper Lo\/WP2\/T2.2\/UPM\/N0015, Lotosphere, ESPRIT 2304"},{"key":"10.1016\/0169-7552(93)90050-E_BIB11","series-title":"The Formal Description Technique LOTOS","first-page":"409","article-title":"The implementation of a specification language for OSI systems","author":"Ma\u00f1as","year":"1989"},{"key":"10.1016\/0169-7552(93)90050-E_BIB12","article-title":"Manual versus hand coded implementation of LOTOS data types","author":"Ma\u00f1as","year":"1989","journal-title":"Technical Report, Department of Telematics Engineering, Technical University Madrid, Spain"},{"key":"10.1016\/0169-7552(93)90050-E_BIB13","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"195","article-title":"A timed calculus for LOTOS","author":"Quemada","year":"1990"},{"key":"10.1016\/0169-7552(93)90050-E_BIB14","series-title":"Proc. IFIP TC6 3rd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 90","year":"1991"},{"key":"10.1016\/0169-7552(93)90050-E_BIB15","series-title":"The Formal Description Technique LOTOS","first-page":"391","article-title":"HIPPO, a LOTOS simulator","author":"Tretmans","year":"1989"},{"key":"10.1016\/0169-7552(93)90050-E_BIB16","series-title":"Proc. IFIP TC6 3rd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 90","first-page":"709","article-title":"Design of the LOTOSPHERE symbolic LOTOS simulator","author":"van Eijk","year":"1991"},{"key":"10.1016\/0169-7552(93)90050-E_BIB17","series-title":"Proc. IFIP WG6.1 10th International Symposium","first-page":"153","article-title":"On the use of specification styles for automated protocol implementation from LOTOS to C","author":"van Eijk","year":"1990"},{"key":"10.1016\/0169-7552(93)90050-E_BIB18","series-title":"Proc. IFIP WG6.1 8th International Symposium","first-page":"189","article-title":"Architecure and specification style in formal descriptions of distributed systems","author":"Vissers","year":"1988"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016975529390050E?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016975529390050E?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:20:54Z","timestamp":1550348454000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016975529390050E"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":18,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["016975529390050E"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(93)90050-e","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}