{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T12:41:10Z","timestamp":1707050470407},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,4,1]],"date-time":"2006-04-01T00:00:00Z","timestamp":1143849600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s11227-006-3068-3","type":"journal-article","created":{"date-parts":[[2006,5,15]],"date-time":"2006-05-15T06:43:01Z","timestamp":1147675381000},"page":"51-81","source":"Crossref","is-referenced-by-count":0,"title":["Nautilus, a Concurrent Diagrammatic Specification and Programming Language"],"prefix":"10.1007","volume":"36","author":[{"given":"Claudio Naoto","family":"Fuzitaki","sequence":"first","affiliation":[]},{"given":"Paulo Blauth","family":"Menezes","sequence":"additional","affiliation":[]},{"given":"J\u00falio Pereira","family":"Machado","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"D\u2019Andrea","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3068_CR1","unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall, 1990."},{"key":"3068_CR2","unstructured":"C. Carneiro, T. Veit, P. B. Menezes, and F. D\u2019Andrea. Nautilus: its concurrent and distributed characteristics as an academic language. In H.R. Arabnia, ed., Proc. of International Conf. on Parallel and Distributed Processing Techniques and Application. CSREA, Vol. 4, pp. 1919\u20131925, 1999."},{"key":"3068_CR3","unstructured":"F. D\u2019Andrea, P. B. Menezes, C. N. Fuzitaki, J. P. Machado, and S. A. da Costa. Nautilus, a diagrammatic specification and programming language. In S.G. Akl, T. Gonzalez, eds., Proc. of 14th International Conference on Parallel and Distributed Computing and Systems, ACTA Press pp. 386\u2013391, 2002."},{"key":"3068_CR4","doi-asserted-by":"crossref","unstructured":"D. M. Dubois. Review of incursive, hyperincursive and anticipatory systems. In D.M. Dubois, ed., Proc. of 3th International Conference on Computing Anticipatory Systems. Volume 517 of AIP Conference Proceedings., Melville, American Institute of Physics, pp. 3\u201330, 2000.","DOI":"10.1063\/1.1291243"},{"key":"3068_CR5","unstructured":"M. Fowler and S. Kendall. UML Distilled. Addison-Wesley, 1997."},{"key":"3068_CR6","unstructured":"C. N. Fuzitaki, P. B. Menezes, and J. P. Machado. A protocol checker for nautilus language. In H.R. Arabnia, ed., Proc. of International Conf. on Parallel and Distributed Processing Techniques and Application. CSREA, Vol. 3, pp. 1336\u20131341, 2004."},{"key":"3068_CR7","doi-asserted-by":"crossref","unstructured":"C. N. Fuzitaki, P. B. Menezes, J. P. Machado, and S. A. da Costa, Mapping nautilus language into java: Towards a specification and programming environment for distributed systems. In R.M. Diaz, F. Pichler, eds., Proc. of 9th International Conference on Computer Aided Systems Theory and Technology. Springer-Verlag, Volume 2809 of Lecture Notes in Computer Science., pp. 243\u2013252, 2003.","DOI":"10.1007\/978-3-540-45210-2_23"},{"key":"3068_CR8","unstructured":"P. B. Menezes. Compositional reification of concurrent, interacting systems. In H.R. Arabnia, ed., In Proc. of International Conf. on Parallel and Distributed Processing Techniques and Application. CSREA, Vol. 4, pp. 1754\u20131761, 1998."},{"key":"3068_CR9","first-page":"50","volume":"2","author":"P. B. Menezes","year":"1995","unstructured":"P. B. Menezes and J. F. Costa. Compositional reification of concurrent systems. Journal of the Brazilian Computer Society, 2:50\u201367, 1995.","journal-title":"Journal of the Brazilian Computer Society"},{"key":"3068_CR10","doi-asserted-by":"crossref","unstructured":"P. B. Menezes, J. F. Costa, and A. Sernadas. Refinement mapping for general (discrete event) system theory. In F. Pichler, R.M. Diaz, R. Albrecht, eds., Proc. of 5th International Conference on Computer Aided Systems Theory and Technology. Volume 1030 of Lecture Notes in Computer Science., Springer-Verlag, pp. 103\u2013116, 1996.","DOI":"10.1007\/BFb0034753"},{"key":"3068_CR11","doi-asserted-by":"crossref","unstructured":"P. B. Menezes, S. A. da Costa, J. P. Machado, and J. Ramos. Nautilus: a concurrent anticipatory programming language. In D.M. Dubois, ed., Proc. of 5th International Conference on Computing Anticipatory Systems. Volume 627 of AIP Conference Proceedings., Melville, American Institute of Physics, pp. 553\u2013564, 2002.","DOI":"10.1063\/1.1503731"},{"key":"3068_CR12","unstructured":"P. B. Menezes, J. P. Machado, and S. A. da Costa. Explicit and implicit nondeterministic refinement for concurrent, interacting systems. In H.R. Arabnia, ed., Proc. of International Conf. on Parallel and Distributed Processing Techniques and Application, CSREA, 2002."},{"key":"3068_CR13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation 88; pp. 105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"3068_CR14","unstructured":"P. B. Menezes, A. Sernadas, and J. F. Costa. Refinement in a concurrent object-based language. In R. da Silva Bigonha, ed., Proc. of I Brazilian Symposium on Programming Language. SBC, Vol. 1., pp. 237\u2013250, 1996."},{"key":"3068_CR15","doi-asserted-by":"crossref","unstructured":"P. B. Menezes, J. F. Costa, and A. Sernadas, Nonsequential automata semantics for concurrent, object-based language. In R. Cleaveland, M.W. Mislove, P.S. Mulry, eds., Proc. of 2nd US-Brazil Joint Workshops on the Formal Foundations of Software Systems. Volume 14 of Electronic Notes in Theoretical Computer Science., Elsevier, 1998.","DOI":"10.1016\/S1571-0661(05)80239-7"},{"key":"3068_CR16","unstructured":"J. Ramos and A. Sernadas. A brief introduction to gnome. Technical Report, Instituto Superior T\u00e9cnico, Lisboa, 1995."},{"key":"3068_CR17","unstructured":"E. F. Seganfredo, R. Gatto, C. N. Fuzitaki, P. B. Menezes, and D. J. Nunes. An outline to a diagrammatic nautilus environment. In H.R. Arabnia, ed., in Proc. of International Conf. on Parallel and Distributed Processing Techniques and Application. CSREA, Vol. 4., pp. 1726\u20131731, 2003."},{"key":"3068_CR18","unstructured":"C. Sernadas, P. Gouveia, and A. Sernadas. Oblog: Object-oriented, logic-based conceptual modeling. Technical Report. Instituto Superior T\u00e9cnico, Lisboa, 1992."},{"key":"3068_CR19","unstructured":"C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-the-large object-oriented design of information systems. In F. V. Assche, B. Moulin, C. Rolland, eds., The Object-Oriented Approach in Information Systems. North-Holland, pp. 209\u2013232, 1991."},{"key":"3068_CR20","doi-asserted-by":"crossref","unstructured":"G. Winskel and M. Nielsen. Models for Concurrency. In: Handbook of Logic in Computer Science. Oxford University Press, Vol. 4, pp. 1\u2013148, 1995.","DOI":"10.1093\/oso\/9780198537809.003.0001"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-3068-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-006-3068-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-3068-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T11:59:56Z","timestamp":1707047996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-006-3068-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["3068"],"URL":"https:\/\/doi.org\/10.1007\/s11227-006-3068-3","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,4]]}}}