{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:43Z","timestamp":1725455923611},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055873X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013836","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:24:11Z","timestamp":1132730651000},"page":"335-349","source":"Crossref","is-referenced-by-count":0,"title":["Implementation of a toolset for prototyping algebraic specifications of concurrent systems"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Giovini","sequence":"first","affiliation":[]},{"given":"Franco","family":"Morando","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Capani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Proc. AMAST Conference","author":"E. Astesiano","year":"1992","unstructured":"E. Astesiano, A. Giovini, and G. Reggio. Algebraic specification at work. In T. Rus, editor, Proc. AMAST Conference, Berlin, 1992. Springer-Verlag."},{"key":"22_CR2","first-page":"185","volume-title":"Formal specification of a concurrent architecture in a real project","author":"E. Astesiano","year":"1985","unstructured":"E. Astesiano, F. Mazzanti, G. Reggio, and E. Zucca. Formal specification of a concurrent architecture in a real project. In A Broad Perspective of Current Developments, Proc. ICS'85 (ACM International Computing Symposium), pages 185\u2013195, Amsterdam, 1985. North-Holland."},{"key":"22_CR3","unstructured":"E. Astesiano, C. Bendix Nielsen, N. Botta, A. Fantechi, A. Giovini, P. Inverardi, E. Karlsen, F. Mazzanti, J. Storbank Pedersen, G. Reggio, and E. Zucca. The draft formal definition of ANSI\/MIL-STD 1815a Ada. Deliverable 7, CEC-MAP project, 1986."},{"issue":"5","key":"22_CR4","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1147\/rd.315.0512","volume":"31","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano and G. Reggio. Direct semantics for concurrent languages in the SMoLCS approach. IBM Journal of Research and Development, 31(5):512\u2013534, 1987.","journal-title":"IBM Journal of Research and Development"},{"key":"22_CR5","first-page":"169","volume-title":"Lecture Notes in Computer Science","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano and G. Reggio. SMoLCS-driven concurrent calculi. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, editors, Proc. TAPSOFT'87, Vol. 1, sanumber 249 in Lecture Notes in Computer Science, pages 169\u2013201, Berlin, 1987. Springer Verlag."},{"key":"22_CR6","volume-title":"Technical Report 0, Formal Methods Group","author":"E. Astesiano","year":"1990","unstructured":"E. Astesiano and G. Reggio. A structural approach to the formal modelization and specification of concurrent systems. Technical Report 0, Formal Methods Group, Dipartimento di Matematica, Universit\u00e0 di Genova, Italy, 1990."},{"issue":"1\/3","key":"22_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra and J.W. Klop. Process algebra for for synchronous communication. Information & Control, 60(1\/3):109\u2013137, 1984.","journal-title":"Information & Control"},{"key":"22_CR8","unstructured":"D. Bertello. Specifica di un sistema idroelettrico con metodi formali algebrici. Master's thesis, Universit\u00e1 di Genova, 1991. (in italian)."},{"key":"22_CR9","unstructured":"T. Bolognesi and M. Caneve. Squiggles: a tool for the analysis of lotos specifications. In K. Turner, editor, Formal Description Techniques, pages 201\u2013216. North-Holland, 1989."},{"key":"22_CR10","unstructured":"A. Capani. Fondamenti algebrici, design e implementazione di un sistema di prototipazione rapida di specifiche di linguaggi e di sistemi concorrenti. Master's thesis, Universit\u00e1 di Genova, 1992. (in italian)."},{"key":"22_CR11","first-page":"1","volume-title":"Lecture Notes in Computer Science","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench. In Proc. Workshop on erification Methods for Finite State Systems, number 407 in Lecture Notes in Computer Science, pages 1\u201320, Berlin, 1990. Springer-Verlag."},{"key":"22_CR12","unstructured":"R. de Simone and D. Vergamini. Aboard auto. Technical Report 111, INRIA, 1989."},{"key":"22_CR13","volume-title":"Technical report","author":"A. Giovini","year":"1987","unstructured":"A. Giovini and F. Morando. SMoLCS\/RP: a rapid prototyping tool for separable relational specifications. Technical report, Dipartimento di Matematica, Universit\u00e0 di Genova, Italy, 1987."},{"key":"22_CR14","unstructured":"J.C. Godskesen, K.G. Larsen, and M. Zeeberg. Tav user's manual. Internal report, Aalborg University Center, 1989."},{"key":"22_CR15","unstructured":"H. Hussman. Rapid prototyping for algebraic specifications \u2014 RAP system user's manual. Technical Report MIP-8504, University of Passau, 1985. (second edition)."},{"key":"22_CR16","volume-title":"Proc. EUROCAL'85, number 204 in Lecture Notes in Computer Science","author":"H. Hussman","year":"1985","unstructured":"H. Hussman. Unification in conditional equational theories. In Proc. EUROCAL'85, number 204 in Lecture Notes in Computer Science, Berlin, 1985. Springer Verlag."},{"key":"22_CR17","unstructured":"H. Lin. Pam: A process algebra manipulator. Internal Report 2\/91, University of Sussex, 1991."},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 120\u20131242. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"22_CR19","unstructured":"F. Morando. Un interprete per specifiche di sistemi concorrenti secondo la metodologia SMoLCS. Master's thesis, Universit\u00e1 di Genova, 1986. (in italian)."},{"key":"22_CR20","unstructured":"A. Morgavi. Specifica di una stazione ad alta tensione con metodi formali algebrici. Master's thesis, Universit\u00e1 di Genova, 1992. (in italian)."},{"key":"22_CR21","unstructured":"G. Plotkin. A structural approach to operational semantics. Lecture notes, Aarhus University, 1981."},{"key":"22_CR22","unstructured":"G. Reggio. Una metodologia per la specifica di sistemi e linguaggi concorrenti. PhD thesis, Universit\u00e1 di Genova-Pisa-Udine, 1988. (in italian)."},{"key":"22_CR23","unstructured":"G. Reggio. Formal specification of a lift system. In Proc. of 2nd Magrabian Conference, 1992."},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"B. Thomsen. A calculus of higher-order communicating systems. In Proceeding of POPL Conference, pages 143\u2013154, 1989.","DOI":"10.1145\/75277.75290"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013836.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:08:13Z","timestamp":1607353693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013836"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055873X"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0013836","relation":{},"subject":[]}}