{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T19:12:40Z","timestamp":1648840360270},"reference-count":7,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4441,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0661(04)80925-3","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"157-160","source":"Crossref","is-referenced-by-count":0,"title":["An Action Semantics Integrated Development Environment"],"prefix":"10.1016","volume":"44","author":[{"given":"Luis","family":"Menezes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hermano","family":"Moura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mardoqueu","family":"Vieira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wanderley","family":"Cansan\u00e7\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Lima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80925-3_NEWBIB1","unstructured":"S. B. Lassen, P. D. Mosses, and D. A. Watt. An introduction to an-2: The proposed new version of action notation. In Proceedings of the Third International Workshop on Action Semantics, number NS-00-6 in BRICS Notes Series, pages 19\u201336, 2000."},{"key":"10.1016\/S1571-0661(04)80925-3_NEWBIB2","unstructured":"Luis Menezes. Uso de orienta\u00e7\u00e3o a objetos na prototip\u00e7\u00e3o de sem\u00e2ntica de a\u00e7\u00f5es. Master's thesis, Universidade Federal de Pernambuco, 1998."},{"key":"10.1016\/S1571-0661(04)80925-3_NEWBIB3","unstructured":"Hermano Moura and Luis Menezes. The ABACO system: An algebraic based action compiler. In Proceedings of the Second International Workshop on Action Semantics, number NS-99-3 in BRICS Notes Series, pages 143\u2013154, 1999."},{"key":"10.1016\/S1571-0661(04)80925-3_NEWBIB4","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. Unified algebras and action semantics. Technical Report DAIMI PB-272, Aarhus University, Computer Science Department, Denmark, December 1988.","DOI":"10.7146\/dpb.v18i272.7626"},{"key":"10.1016\/S1571-0661(04)80925-3_NEWBIB5","series-title":"Action Semantics","author":"Mosses","year":"1992"},{"key":"10.1016\/S1571-0661(04)80925-3_NEWBIB6","series-title":"WADT'98, volume 1589 of Lecture Notes in Computer Science","first-page":"216","article-title":"CASL: A guided tour of its design","author":"Mosses","year":"1999"},{"key":"10.1016\/S1571-0661(04)80925-3_NEWBIB7","unstructured":"Website of the RAT Project, http:\/\/www.cin.ufpe.br\/~rat."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809253?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809253?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T05:55:53Z","timestamp":1549173353000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["S1571066104809253"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80925-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}