{"id":"https://openalex.org/W2742106719","doi":"https://doi.org/10.1007/s10009-017-0468-z","title":"Multi-core symbolic bisimulation minimisation","display_name":"Multi-core symbolic bisimulation minimisation","publication_year":2017,"publication_date":"2017-08-02","ids":{"openalex":"https://openalex.org/W2742106719","doi":"https://doi.org/10.1007/s10009-017-0468-z","mag":"2742106719"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-017-0468-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-017-0468-z","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-017-0468-z.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-017-0468-z.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043493738","display_name":"Tom van Dijk","orcid":"https://orcid.org/0000-0002-5366-1051"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Tom van Dijk","raw_affiliation_strings":["Institute for Formal Methods and Verification, Johannes Kepler University, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Institute for Formal Methods and Verification, Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043493738"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.1849,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.81041211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"20","issue":"2","first_page":"157","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9771999716758728,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/bisimulation","display_name":"Bisimulation","score":0.8493435978889465},{"id":"https://openalex.org/keywords/minimisation","display_name":"Minimisation (clinical trials)","score":0.8292951583862305},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.8087041974067688},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6948679089546204},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3292628526687622},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29527103900909424},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2577384114265442}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.8493435978889465},{"id":"https://openalex.org/C86941820","wikidata":"https://www.wikidata.org/wiki/Q6865391","display_name":"Minimisation (clinical trials)","level":2,"score":0.8292951583862305},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.8087041974067688},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6948679089546204},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3292628526687622},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29527103900909424},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2577384114265442},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10009-017-0468-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-017-0468-z","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-017-0468-z.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/01996af8-f71f-4f71-baeb-a7b43eb1cb65","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/01996af8-f71f-4f71-baeb-a7b43eb1cb65","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van Dijk, T & van de Pol, J 2018, 'Multi-core symbolic bisimulation minimisation', International journal on software tools for technology transfer, vol. 20, no. 2, pp. 157-177. https://doi.org/10.1007/s10009-017-0468-z","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:epub.jku.at/:3471932","is_oa":true,"landing_page_url":"https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-1803","pdf_url":null,"source":{"id":"https://openalex.org/S4306401788","display_name":"University Library Linz repository (Johannes Kepler Universitat Linz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I121883995","host_organization_name":"Johannes Kepler University of Linz","host_organization_lineage":["https://openalex.org/I121883995"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/s10009-017-0468-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-017-0468-z","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-017-0468-z.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7200000286102295}],"awards":[{"id":"https://openalex.org/G3658169213","display_name":null,"funder_award_id":"612.001.101","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G5365867299","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G8488583251","display_name":null,"funder_award_id":"S11408-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2742106719.pdf","grobid_xml":"https://content.openalex.org/works/W2742106719.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W46678526","https://openalex.org/W1503762954","https://openalex.org/W1514712409","https://openalex.org/W1518224780","https://openalex.org/W1523766116","https://openalex.org/W1527903820","https://openalex.org/W1573128517","https://openalex.org/W1597655219","https://openalex.org/W1850929791","https://openalex.org/W1862398452","https://openalex.org/W1864649459","https://openalex.org/W1869716833","https://openalex.org/W1967333679","https://openalex.org/W1974808887","https://openalex.org/W2022434818","https://openalex.org/W2068361557","https://openalex.org/W2070991879","https://openalex.org/W2080267935","https://openalex.org/W2091177009","https://openalex.org/W2099120582","https://openalex.org/W2102800553","https://openalex.org/W2104860213","https://openalex.org/W2105923183","https://openalex.org/W2107144615","https://openalex.org/W2108293102","https://openalex.org/W2123022028","https://openalex.org/W2130413791","https://openalex.org/W2130820909","https://openalex.org/W2131271786","https://openalex.org/W2135453964","https://openalex.org/W2138838211","https://openalex.org/W2139509158","https://openalex.org/W2141823988","https://openalex.org/W2160457140","https://openalex.org/W2165606466","https://openalex.org/W2166062474","https://openalex.org/W2167435507","https://openalex.org/W2167903312","https://openalex.org/W2195169990","https://openalex.org/W2264277655","https://openalex.org/W2472516302","https://openalex.org/W2534303543"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1495872178","https://openalex.org/W2008781243","https://openalex.org/W2790309851","https://openalex.org/W2761131108","https://openalex.org/W2984861660","https://openalex.org/W1523766116","https://openalex.org/W3096633875","https://openalex.org/W2130820909","https://openalex.org/W2124122503"],"abstract_inverted_index":{"We":[0,32,66,80,120,149,199],"introduce":[1],"parallel":[2,141,220],"symbolic":[3,59,84],"algorithms":[4],"for":[5,38,144,159,208,231,238],"bisimulation":[6,75,160,212],"minimisation,":[7],"to":[8,25,71,112,133,179,204,250,256],"combat":[9],"the":[10,26,73,83,87,105,122,135,172,197,210,245],"combinatorial":[11],"state":[12,52,247],"space":[13,248],"explosion":[14],"along":[15],"three":[16],"different":[17],"paths.":[18],"Bisimulation":[19],"minimisation":[20,161],"reduces":[21],"a":[22,114,152,201,223,257],"transition":[23,45,131],"system":[24,28,89],"smallest":[27],"with":[29,254],"equivalent":[30],"behaviour.":[31],"consider":[33],"strong":[34],"and":[35,47,90,127,234],"branching":[36],"bisimilarity":[37],"interactive":[39],"Markov":[40,49],"chains,":[41],"which":[42],"combine":[43],"labelled":[44],"systems":[46],"continuous-time":[48],"chains.":[50],"Large":[51],"spaces":[53],"can":[54,156],"be":[55,157],"represented":[56],"concisely":[57],"by":[58,171],"techniques,":[60],"based":[61,94,192],"on":[62,95,117,193,213,222],"binary":[63],"decision":[64],"diagrams.":[65],"present":[67],"specialised":[68],"BDD":[69,109,252],"operations":[70],"compute":[72],"maximal":[74,211],"using":[76],"signature-based":[77],"partition":[78,232],"refinement.":[79],"also":[81],"study":[82],"representation":[85],"of":[86,124,128,226,244],"quotient":[88,239],"suggest":[91],"an":[92],"encoding":[93,243],"representative":[96],"states,":[97],"rather":[98],"than":[99],"block":[100,145],"numbers.":[101],"Our":[102,241],"implementation":[103],"extends":[104],"parallel,":[106],"shared":[107],"memory,":[108],"library":[110],"Sylvan,":[111],"obtain":[113],"significant":[115],"speedup":[116,202],"multi-core":[118],"machines.":[119],"propose":[121],"usage":[123],"partial":[125],"signatures":[126],"disjunctively":[129],"partitioned":[130],"relations,":[132],"increase":[134],"parallelisation":[136],"opportunities.":[137],"Also":[138],"our":[139],"new":[140,242],"data":[142],"structure":[143],"assignments":[146],"increases":[147],"scalability.":[148],"provide":[150],"SigrefMC,":[151],"versatile":[153],"tool":[154],"that":[155],"customised":[158],"in":[162,181],"various":[163,194],"contexts.":[164],"In":[165,216],"particular,":[166],"it":[167],"supports":[168],"models":[169],"generated":[170],"high-performance":[173],"model":[174],"checker":[175],"LTSmin,":[176],"providing":[177],"access":[178],"specifications":[180],"multiple":[182],"formalisms,":[183],"including":[184],"process":[185],"algebra.":[186],"The":[187],"extensive":[188],"experimental":[189],"evaluation":[190],"is":[191],"benchmarks":[195],"from":[196],"literature.":[198],"demonstrate":[200],"up":[203,255],"95":[205],"$$\\times":[206,229,236],"$$":[207,230,237],"computing":[209],"one":[214],"processor.":[215],"addition,":[217],"we":[218],"find":[219],"speedups":[221],"48-core":[224],"machine":[225],"another":[227],"17":[228],"refinement":[233],"24":[235],"computation.":[240],"reduced":[246],"leads":[249],"smaller":[251],"representations,":[253],"5162-fold":[258],"reduction.":[259]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}