{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:16:36Z","timestamp":1729660596145,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/iccp.2015.7312706","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T23:03:35Z","timestamp":1446505415000},"page":"475-482","source":"Crossref","is-referenced-by-count":2,"title":["Immune system modeling and analysis using Bio-PEPA"],"prefix":"10.1109","author":[{"given":"Roxana Dorina","family":"Moldovan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eneia Nicolae","family":"Todoran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33636-2_14"},{"key":"ref12","article-title":"Modeling and analysis of biological networks","author":"myers","year":"0","journal-title":"ECE\/CS\/BioEn 6760"},{"key":"ref13","first-page":"1","article-title":"Introduction to membrane computing","author":"p?un","year":"2006","journal-title":"Applications of Membrane Computing"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","author":"p?un","year":"2002","journal-title":"Membrane Computing An Introduction"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCP.2008.4648367"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCP.2013.6646117"},{"journal-title":"The Bio-PEPA Eclipse Plug-In User Manual","year":"2012","key":"ref17"},{"journal-title":"Bio-PEPA modeling language","year":"0","key":"ref18"},{"key":"ref4","article-title":"Membrane computing & biologically inspired process calculi","author":"ciobanu","year":"2010","journal-title":"Editura Universitatii “Alexandru loan Cuza” Iasi"},{"key":"ref3","first-page":"85","article-title":"Modeling biological systems with delays in BioPEPA","volume":"40","author":"caravagna","year":"2010","journal-title":"Proc of the 4-th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) EPTCS"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"373","DOI":"10.3233\/FI-2014-1020","article-title":"Continuation semantics for asynchronous concurrency","volume":"131","author":"ciobanu","year":"2014","journal-title":"Fundamenta Informaticae"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.35"},{"key":"ref8","article-title":"Conservation of mass analysis for Bio-PEPA","author":"clark","year":"2012","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24867-2"},{"key":"ref1","first-page":"3","article-title":"Mathematics of multisets in the Fraenkel-Mostowski framework","volume":"58","author":"alexandru","year":"2015","journal-title":"Bull Math Soc Sci Math Roumanie"},{"key":"ref9","first-page":"121","article-title":"An overview of the Bio-PEPA Eclipse plug-in","author":"duguid","year":"2009","journal-title":"PASTA 2009 8th Workshop on Process Algebra and Stochastically Timed Activities"}],"event":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","start":{"date-parts":[[2015,9,3]]},"location":"Cluj-Napoca, Romania","end":{"date-parts":[[2015,9,5]]}},"container-title":["2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7301668\/7312586\/07312706.pdf?arnumber=7312706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T20:14:31Z","timestamp":1599768871000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7312706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iccp.2015.7312706","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}