{"id":"https://openalex.org/W3015544971","doi":"https://doi.org/10.1007/s00236-020-00372-9","title":"Translating between models of concurrency","display_name":"Translating between models of concurrency","publication_year":2020,"publication_date":"2020-05-06","ids":{"openalex":"https://openalex.org/W3015544971","doi":"https://doi.org/10.1007/s00236-020-00372-9","mag":"3015544971"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-020-00372-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-020-00372-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-020-00372-9.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","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/s00236-020-00372-9.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062978270","display_name":"David Mestel","orcid":"https://orcid.org/0000-0003-3186-8307"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"David Mestel","raw_affiliation_strings":["Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045639409","display_name":"A. W. Roscoe","orcid":"https://orcid.org/0000-0001-7557-3901"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"A. W. Roscoe","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045639409"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.4335,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.678125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"57","issue":"3-5","first_page":"403","last_page":"438"},"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.9995999932289124,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/concurrency","display_name":"Concurrency","score":0.8089758157730103},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7444940209388733},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6615461111068726},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5928850769996643},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5101004242897034},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46917372941970825},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46193185448646545},{"id":"https://openalex.org/keywords/refinement-calculus","display_name":"Refinement calculus","score":0.4146157503128052},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.09891241788864136}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8089758157730103},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7444940209388733},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6615461111068726},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5928850769996643},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5101004242897034},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46917372941970825},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46193185448646545},{"id":"https://openalex.org/C90483712","wikidata":"https://www.wikidata.org/wiki/Q7307205","display_name":"Refinement calculus","level":2,"score":0.4146157503128052},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.09891241788864136},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00236-020-00372-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-020-00372-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-020-00372-9.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"},{"id":"pmh:oai:cris.maastrichtuniversity.nl:openaire/9a968340-7f37-4adf-b743-deecb2406ab4","is_oa":true,"landing_page_url":"https://cris.maastrichtuniversity.nl/en/publications/9a968340-7f37-4adf-b743-deecb2406ab4","pdf_url":null,"source":{"id":"https://openalex.org/S4306402616","display_name":"Research Publications (Maastricht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I34352273","host_organization_name":"Maastricht University","host_organization_lineage":["https://openalex.org/I34352273"],"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":"Mestel, D & Roscoe, A W 2020, 'Translating between models of concurrency', Acta Informatica, vol. 57, no. 3-5, pp. 403-438. https://doi.org/10.1007/S00236-020-00372-9","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/s00236-020-00372-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-020-00372-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-020-00372-9.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6600000262260437,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4949066947","display_name":null,"funder_award_id":"FA8750-12-2-0247","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5072099817","display_name":null,"funder_award_id":"EP/E035590/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8286012114","display_name":"Reducing Cost of Software: A Scalable Model-Based Verification Framework","funder_award_id":"EP/N022777/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8889080654","display_name":null,"funder_award_id":"EP/N022777","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G890232185","display_name":null,"funder_award_id":"EP/N022777/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320290","display_name":"University of Oxford","ror":"https://ror.org/052gg0110"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3015544971.pdf","grobid_xml":"https://content.openalex.org/works/W3015544971.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W10909475","https://openalex.org/W193313958","https://openalex.org/W205770835","https://openalex.org/W1037549152","https://openalex.org/W1485181793","https://openalex.org/W1793582516","https://openalex.org/W1882160752","https://openalex.org/W1884528215","https://openalex.org/W1966263924","https://openalex.org/W2000947342","https://openalex.org/W2010698657","https://openalex.org/W2021473546","https://openalex.org/W2030009784","https://openalex.org/W2037230951","https://openalex.org/W2050362288","https://openalex.org/W2098981343","https://openalex.org/W2114975426","https://openalex.org/W2123401374","https://openalex.org/W2126860147","https://openalex.org/W2128510433","https://openalex.org/W2128932399","https://openalex.org/W2129384397","https://openalex.org/W2137865376","https://openalex.org/W2147077520","https://openalex.org/W2167354623","https://openalex.org/W2194869982","https://openalex.org/W2205337852","https://openalex.org/W2524715524","https://openalex.org/W2911862439","https://openalex.org/W2913048148","https://openalex.org/W3000511677","https://openalex.org/W3141165000","https://openalex.org/W3144368627","https://openalex.org/W3151405825","https://openalex.org/W4210886820","https://openalex.org/W4212934768"],"related_works":["https://openalex.org/W2131958170","https://openalex.org/W4247954915","https://openalex.org/W2273754158","https://openalex.org/W3085024073","https://openalex.org/W1497695679","https://openalex.org/W2098962004","https://openalex.org/W2062843058","https://openalex.org/W1965724121","https://openalex.org/W1544359874","https://openalex.org/W2001570688"],"abstract_inverted_index":{"Abstract":[0],"Hoare\u2019s":[1],"Communicating":[2,8],"Sequential":[3,9],"Processes":[4],"(CSP)":[5],"(Hoare":[6],"in":[7,62,67,87,92,102,146,172],"Processes,":[10],"Prentice-Hall":[11],"Inc,":[12],"Upper":[13],"Saddle":[14],"River,":[15],"1985)":[16],"admits":[17],"a":[18,173],"rich":[19],"universe":[20],"of":[21,39,128,133,176],"semantic":[22],"models":[23,104],"closely":[24],"related":[25],"to":[26,79,98,115,118,169],"the":[27,81,137,177],"van":[28],"Glabbeek":[29],"spectrum.":[30],"In":[31,161],"this":[32,117,131],"paper":[33],"we":[34,112,163],"study":[35,164],"finite":[36,58,121],"observational":[37,122],"models,":[38],"which":[40],"at":[41],"least":[42],"six":[43],"have":[44],"been":[45],"studied":[46],"for":[47],"CSP,":[48],"namely":[49],"traces,":[50],"stable":[51],"failures,":[52],"revivals,":[53],"acceptances,":[54],"refusal":[55],"testing":[56],"and":[57],"linear":[59],"observations":[60],"(Roscoe":[61,86],"Understanding":[63,88],"concurrent":[64,89],"systems.":[65,90],"Texts":[66,91],"computer":[68],"science,":[69],"Springer,":[70,95],"Berlin,":[71,96],"2010).":[72],"(Others":[73],"are":[74,113],"known.)":[75],"We":[76],"show":[77],"how":[78,165],"use":[80],"relatively":[82],"recently-introduced":[83],"priority":[84],"operator":[85],"Computer":[93],"Science,":[94],"2010)":[97],"transform":[99],"refinement":[100,107,139,171],"questions":[101],"these":[103],"into":[105],"trace":[106],"(language":[108],"inclusion)":[109],"tests.":[110],"Furthermore,":[111],"able":[114],"generalise":[116],"any":[119],"(rational)":[120],"model.":[123],"As":[124],"well":[125],"as":[126],"being":[127],"theoretical":[129],"interest,":[130],"is":[132,167],"practical":[134],"significance":[135],"since":[136],"state-of-the-art":[138],"checking":[140],"tool":[141],"FDR4":[142],"(Gibson-Robinson":[143],"et":[144],"al.":[145],"Int":[147],"J":[148],"Softw":[149],"Tools":[150],"Technol":[151],"Transf":[152],"18(2):149\u2013167,":[153],"2016)":[154],"currently":[155],"only":[156],"supports":[157,182],"two":[158],"such":[159],"models.":[160],"particular":[162],"it":[166],"possible":[168],"check":[170],"discrete":[174],"version":[175],"Timed":[178,183],"Failures":[179],"model":[180],"that":[181],"CSP.":[184]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}