{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T01:18:07Z","timestamp":1648689487216},"reference-count":14,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Organizational Computing and Electronic Commerce"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1207\/s15327744joce1104_01","type":"journal-article","created":{"date-parts":[[2004,1,14]],"date-time":"2004-01-14T10:08:55Z","timestamp":1074074935000},"page":"215-228","source":"Crossref","is-referenced-by-count":1,"title":["Prototyping Electronic Commerce Systems Using Esterel"],"prefix":"10.1080","volume":"11","author":[{"given":"Padmanabhan","family":"Krishnan","sequence":"first","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2009,11,18]]},"reference":[{"key":"p_1_1","unstructured":"A. Vogel and K. Duddy, Java Programming With CORBA. New York: Wiley, 1997."},{"issue":"2","key":"p_2_2","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"Georgakopoulos D.","year":"1995","journal-title":"Distributed and Parallel Databases"},{"issue":"5","key":"p_3_3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1049\/sej.1992.0034","volume":"7","author":"Plat N.","year":"1992","journal-title":"IEE Software Engineering Journal"},{"key":"p_4_4","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"p_5_5","doi-asserted-by":"crossref","unstructured":"J. Cuellar, \"Formal methods in an industrial environment,\" in Proc. of the 10th Int. Workshop on Computer Aided Verification, 1998, pp. 57-60.","DOI":"10.1007\/BFb0028732"},{"key":"p_6_6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"p_7_7","doi-asserted-by":"crossref","unstructured":"L. J. Jagadeesan, C. Puchol, and J. E. Von Olnhausen, \"A formal approach to reactive systems software: A telecommunications application in Esterel,\" in Workshop on Industrial-Strength Formal Specification Techniques, April 1995.","DOI":"10.1109\/WIFT.1995.515485"},{"key":"p_8_8","doi-asserted-by":"crossref","unstructured":"A. Bouali, J.P. Marmorat, R. De Simone, and H. Toma, \"Verifying synchronous reactive systems programmed in Esterel,\" in Proc. of the Symposium on Formal Techniques in Real-Time and FaultTolerant Systems, 1996, pp. 463-466.","DOI":"10.1007\/3-540-61648-9_57"},{"key":"p_9_9","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"p_10_10","doi-asserted-by":"crossref","unstructured":"K. L. McMillan, Symbolic Model Checking. Dordrecht, The Netherlands: Kluwer, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"p_11_11","first-page":"67","volume":"2000","author":"Krishnan P.","journal-title":"in The Australasian Workshop on Computation Logic"},{"key":"p_12_12","unstructured":"G. Berry, \"The Esterel v5 language primer: Version 5.10 release 2.0,\" Centre de Mathematiques Appliquees, Institut National De Recherche En Informatique Et En Automatique, Sophia-Antipolis, France, Tech. Rep., 1998."},{"key":"p_13_13","first-page":"166","volume":"1998","author":"Weitz W.","journal-title":"Lamersdorf and M. Merz, Eds. Hamburg, Germany: Springer Verlag"},{"key":"p_14_14","first-page":"84","volume":"1999","author":"Ramesh S.","journal-title":"in Computer Aided Verification"}],"container-title":["Journal of Organizational Computing and Electronic Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1207\/S15327744JOCE1104_01","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,6]],"date-time":"2018-04-06T01:44:36Z","timestamp":1522979076000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1207\/S15327744JOCE1104_01"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":14,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2009,11,18]]},"published-print":{"date-parts":[[2001,12]]}},"alternative-id":["10.1207\/S15327744JOCE1104_01"],"URL":"https:\/\/doi.org\/10.1207\/s15327744joce1104_01","relation":{},"ISSN":["1091-9392","1532-7744"],"issn-type":[{"value":"1091-9392","type":"print"},{"value":"1532-7744","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}