{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:35:25Z","timestamp":1729647325854,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/wsc.2012.6465260","type":"proceedings-article","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T08:24:26Z","timestamp":1362126266000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["A compositional approach for modeling and simulation of bio-molecular systems"],"prefix":"10.1109","author":[{"given":"Fernando J.","family":"Barros","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2009.47"},{"key":"17","first-page":"24","article-title":"Gene rgulation in the pi clculus: Simulating cooperativity at the lambda switch","volume":"4230","author":"kuttler","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"18","doi-asserted-by":"crossref","first-page":"2258","DOI":"10.1093\/bioinformatics\/bth236","article-title":"Probabilistic representation of gene regulatory networks","volume":"20","author":"mao","year":"2004","journal-title":"Bioinformatics"},{"key":"15","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"IFIP Congress"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-008-9101-0"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"journal-title":"Lectures on the Hyperreals An Introduction to Nonstandard Analysis","year":"1998","author":"goldblatt","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_21"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1021\/jp993732q"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-008-9105-9"},{"journal-title":"General Systems Theory A Mathematical Foundation","year":"1975","author":"mesarovic","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.110057697"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.109"},{"key":"24","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-25974-9_3","article-title":"Beta binders for biological interaction","volume":"3082","author":"priami","year":"2005","journal-title":"Computational Methods in Systems Biology Volume LNBI"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"26","first-page":"139","article-title":"Discrete-event modeling and simulation: Theory and applications","author":"uhrmacher","year":"2011","journal-title":"Chapter Effective and Efficient Modeling and Simulation with DEVS Variants"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.05.015"},{"journal-title":"A Mathematical Theory of Systems Engineering The Elements","year":"1967","author":"wymore","key":"28"},{"journal-title":"Theory of Modeling and Simulation","year":"1976","author":"zeigler","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/937332.937335"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1080\/03081070290008011"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1186\/1741-7007-9-68"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/268403.268423"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-007-9034-8"},{"key":"6","first-page":"183","author":"barros","year":"2011","journal-title":"Achieving Reuse with Pluggable Software Units"},{"key":"5","first-page":"252","article-title":"Semantics of discrete event systems","author":"barros","year":"2008","journal-title":"Distributed Event-Based Systems"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1177\/0037549705052275"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36481-1_3"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.037"}],"event":{"name":"2012 Winter Simulation Conference - (WSC 2012)","start":{"date-parts":[[2012,12,9]]},"location":"Berlin, Germany","end":{"date-parts":[[2012,12,12]]}},"container-title":["Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6451330\/6464965\/06465260.pdf?arnumber=6465260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T04:29:53Z","timestamp":1498019393000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6465260\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/wsc.2012.6465260","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}