{"id":"https://openalex.org/W1983619730","doi":"https://doi.org/10.1145/1839764.1839771","title":"A generic abstract machine for stochastic process calculi","display_name":"A generic abstract machine for stochastic process calculi","publication_year":2010,"publication_date":"2010-09-29","ids":{"openalex":"https://openalex.org/W1983619730","doi":"https://doi.org/10.1145/1839764.1839771","mag":"1983619730"},"language":"en","primary_location":{"id":"doi:10.1145/1839764.1839771","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1839764.1839771","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th International Conference on Computational Methods in Systems Biology","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067946028","display_name":"Lo\u00efc Paulev\u00e9","orcid":"https://orcid.org/0000-0002-7219-2027"},"institutions":[{"id":"https://openalex.org/I100445878","display_name":"\u00c9cole Centrale de Nantes","ror":"https://ror.org/03nh7d505","country_code":"FR","type":"education","lineage":["https://openalex.org/I100445878","https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Lo\u00efc Paulev\u00e9","raw_affiliation_strings":["IRCCyN, \u00c9cole Centrale de Nantes, France","IRCCyN, Ecole Centrale de Nantes, France#TAB#"],"affiliations":[{"raw_affiliation_string":"IRCCyN, \u00c9cole Centrale de Nantes, France","institution_ids":["https://openalex.org/I100445878"]},{"raw_affiliation_string":"IRCCyN, Ecole Centrale de Nantes, France#TAB#","institution_ids":["https://openalex.org/I100445878"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008523593","display_name":"Simon Youssef","orcid":null},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Youssef","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany"],"affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003454366","display_name":"Matthew R. Lakin","orcid":"https://orcid.org/0000-0002-8516-4789"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]},{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Matthew R. Lakin","raw_affiliation_strings":["Microsoft Research, Cambridge, UK","Microsoft Research, Cambridge, UK;"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, Cambridge, UK","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Microsoft Research, Cambridge, UK;","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016397813","display_name":"Andrew Phillips","orcid":"https://orcid.org/0000-0001-9725-1073"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]},{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Andrew Phillips","raw_affiliation_strings":["Microsoft Research, Cambridge, UK","Microsoft Research, Cambridge, UK;"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, Cambridge, UK","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Microsoft Research, Cambridge, UK;","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5067946028"],"corresponding_institution_ids":["https://openalex.org/I100445878"],"apc_list":null,"apc_paid":null,"fwci":1.7619,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.83522878,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"43","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7332179546356201},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5844942331314087},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5430000424385071},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5425615310668945},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49834728240966797},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.48449060320854187},{"id":"https://openalex.org/keywords/abstract-machine","display_name":"Abstract machine","score":0.4779203534126282},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4475197196006775},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44439569115638733},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.437541127204895},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.4233981966972351},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24632316827774048},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18825823068618774}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7332179546356201},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5844942331314087},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5430000424385071},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5425615310668945},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49834728240966797},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.48449060320854187},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.4779203534126282},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4475197196006775},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44439569115638733},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.437541127204895},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.4233981966972351},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24632316827774048},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18825823068618774},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1839764.1839771","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1839764.1839771","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th International Conference on Computational Methods in Systems Biology","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.394.1629","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.394.1629","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://research.microsoft.com/pubs/139017/CMSB2010.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00525503v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00525503","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CMSB '10: The 8th International Conference on Computational Methods in Systems Biology, Sep 2010, Trento, Italy. pp.43--54, ⟨10.1145/1839764.1839771⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1535390429","https://openalex.org/W1806423210","https://openalex.org/W1965726357","https://openalex.org/W1968454452","https://openalex.org/W1983350265","https://openalex.org/W1995428640","https://openalex.org/W2007006124","https://openalex.org/W2008838944","https://openalex.org/W2059719532","https://openalex.org/W2062404235","https://openalex.org/W2063389953","https://openalex.org/W2078734278","https://openalex.org/W2084924279","https://openalex.org/W2106190666","https://openalex.org/W2109453611","https://openalex.org/W2110796675","https://openalex.org/W2116082125","https://openalex.org/W2136626795","https://openalex.org/W2140277138","https://openalex.org/W2141478443","https://openalex.org/W2144063122","https://openalex.org/W2154382177","https://openalex.org/W2155418451","https://openalex.org/W6600646382","https://openalex.org/W6652668670"],"related_works":["https://openalex.org/W2053968119","https://openalex.org/W2132217355","https://openalex.org/W2170466294","https://openalex.org/W3138340026","https://openalex.org/W2123111774","https://openalex.org/W1511004497","https://openalex.org/W2142005831","https://openalex.org/W2014322972","https://openalex.org/W1550998482","https://openalex.org/W1599162377"],"abstract_inverted_index":{"This":[0,81],"paper":[1],"presents":[2],"a":[3,9,27,37,43,87,108,141,157,184],"generic":[4,113,180],"abstract":[5,22,66,114,138],"machine":[6,23,67,115,139],"for":[7,35,49,62,118,160],"simulating":[8,161],"broad":[10],"range":[11],"of":[12,39,45,53,77,86,95,110,129,136,173,188,196,202,212],"process":[13,38,70],"calculi":[14,71],"with":[15,164,224],"an":[16,104,217],"arbitrary":[17,197],"reaction-based":[18],"simulation":[19,60,227],"algorithm.":[20],"The":[21,134,207],"is":[24,82,116,125],"instantiated":[25,117],"to":[26,42,148,182,221],"particular":[28],"calculus":[29,41],"by":[30,84,144],"defining":[31],"two":[32],"functions:":[33],"one":[34],"transforming":[36],"the":[40,51,65,93,100,112,119,123,130,137,169,210,225,231],"set":[44,52,94],"species,":[46],"and":[47,79,98,122,175,199],"another":[48],"computing":[50],"possible":[54,96],"reactions":[55,97,163],"between":[56],"species.":[57],"Unlike":[58],"existing":[59],"algorithms":[61],"chemical":[63,162],"reactions,":[64],"can":[68,193],"simulate":[69,183],"that":[72],"generate":[73],"potentially":[74],"unbounded":[75],"numbers":[76],"species":[78,152],"reactions.":[80],"achieved":[83],"means":[85],"just-in-time":[88],"compiler,":[89],"which":[90,215],"dynamically":[91],"updates":[92],"chooses":[99],"next":[101],"reaction":[102],"in":[103],"iterative":[105],"cycle.":[106],"As":[107],"proof":[109],"concept,":[111],"stochastic":[120,132,185],"pi-calculus,":[121],"instantiation":[124],"implemented":[126],"as":[127,151],"part":[128],"SPiM":[131],"simulator.":[133],"structure":[135],"facilitates":[140],"significant":[142],"optimisation":[143],"allowing":[145],"channel":[146],"restrictions":[147],"be":[149,222],"stored":[150],"complexes.":[153],"We":[154,177],"also":[155],"present":[156],"novel":[158],"algorithm":[159],"general":[165],"distributions,":[166],"based":[167,229],"on":[168,230],"Next":[170],"Reaction":[171],"Method":[172],"Gibson":[174],"Bruck.":[176],"use":[178],"our":[179,213],"framework":[181],"pi-calculus":[186],"model":[187],"plasmid":[189],"co-transfection,":[190],"where":[191,200],"plasmids":[192],"form":[194],"aggregates":[195],"size":[198],"rates":[201],"mRNA":[203],"degradation":[204],"are":[205],"non-exponential.":[206],"example":[208],"illustrates":[209],"flexibility":[211],"framework,":[214],"allows":[216],"appropriate":[218],"high-level":[219],"language":[220],"paired":[223],"required":[226],"algorithm,":[228],"biological":[232],"system":[233],"under":[234],"consideration.":[235]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}