{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:19:08Z","timestamp":1730279948941,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iwrsp.1999.779023","type":"proceedings-article","created":{"date-parts":[[2003,1,20]],"date-time":"2003-01-20T12:23:24Z","timestamp":1043065404000},"page":"4-9","source":"Crossref","is-referenced-by-count":6,"title":["Rapid prototyping of formally modelled distributed systems"],"prefix":"10.1109","author":[{"given":"D.","family":"Buchs","sequence":"first","affiliation":[]},{"given":"M.","family":"Buffo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1990.63620"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.1998.707453"},{"journal-title":"Formal development and validation of the DSGamma system based on CO-OPN\/2 and Coordinated Atomic Actions","year":"1997","author":"serugendo","key":"ref6"},{"key":"ref5","article-title":"Formal development of java based web parallel applications","author":"serugendo","year":"1998","journal-title":"Proc Hawaii Int Conf on System Sciences"},{"key":"ref8","article-title":"Structured algebraic nets with object-orientation","author":"biberstein","year":"1995","journal-title":"Proceedings of the first international workshop on ?Object-Oriented Programming and Models of Concurrency? within the 16th International Conference on Application and Theory of Petri Nets"},{"key":"ref7","volume":"16","author":"padawitz","year":"1988","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1996.561447"},{"journal-title":"Advances in Petri Nets on Object-Orientation","year":"1998","author":"biberstein","key":"ref1"}],"event":{"name":"RSP'99: 10th IEEE International Workshop on Rapid System Prototyping","acronym":"IWRSP-99","location":"Clearwater, FL, USA"},"container-title":["Proceedings Tenth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.PR00246)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6324\/16908\/00779023.pdf?arnumber=779023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T14:52:21Z","timestamp":1489157541000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/779023\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/iwrsp.1999.779023","relation":{},"subject":[]}}