{"id":"https://openalex.org/W2111901968","doi":"https://doi.org/10.1007/s00165-007-0066-z","title":"Relational concurrent refinement part II: Internal operations and outputs","display_name":"Relational concurrent refinement part II: Internal operations and outputs","publication_year":2008,"publication_date":"2008-01-03","ids":{"openalex":"https://openalex.org/W2111901968","doi":"https://doi.org/10.1007/s00165-007-0066-z","mag":"2111901968"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-007-0066-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0066-z","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0066-z","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0066-z","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059470549","display_name":"Eerke Boiten","orcid":"https://orcid.org/0000-0002-9184-8968"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Eerke Boiten","raw_affiliation_strings":["Computing Laboratory, University of Kent, CT2 7NF, Canterbury, Kent, UK","University of Kent, Computing Laboratory, CT2 7NF, Canterbury, Kent, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Computing Laboratory, University of Kent, CT2 7NF, Canterbury, Kent, UK","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent, Computing Laboratory, CT2 7NF, Canterbury, Kent, UK#TAB#","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060549428","display_name":"John Derrick","orcid":"https://orcid.org/0000-0002-6631-8914"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Derrick","raw_affiliation_strings":["Department of Computer Science, University of Sheffield, S1 4DP, Sheffield, UK","University of Sheffield, Department of Computer Science, S1 4DP, Sheffield, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Sheffield, S1 4DP, Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"University of Sheffield, Department of Computer Science, S1 4DP, Sheffield, UK#TAB#","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020041058","display_name":"Gerhard Schellhorn","orcid":"https://orcid.org/0000-0001-6712-7178"},"institutions":[{"id":"https://openalex.org/I179225836","display_name":"University of Augsburg","ror":"https://ror.org/03p14d497","country_code":"DE","type":"education","lineage":["https://openalex.org/I179225836"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gerhard Schellhorn","raw_affiliation_strings":["Institute of Software Engineering and Programming Languages, Department of Computer Science, University of Augsburg, 86135, Augsburg, Germany","University of Augsburg, Institute of Software Engineering and Programming Languages, Department of Computer Science, 86135, Augsburg, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Software Engineering and Programming Languages, Department of Computer Science, University of Augsburg, 86135, Augsburg, Germany","institution_ids":["https://openalex.org/I179225836"]},{"raw_affiliation_string":"University of Augsburg, Institute of Software Engineering and Programming Languages, Department of Computer Science, 86135, Augsburg, Germany","institution_ids":["https://openalex.org/I179225836"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059470549"],"corresponding_institution_ids":["https://openalex.org/I20581793"],"apc_list":null,"apc_paid":null,"fwci":3.2929,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.92007824,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"21","issue":"1-2","first_page":"65","last_page":"102"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.994700014591217,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/refinement-calculus","display_name":"Refinement calculus","score":0.8288761973381042},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7364018559455872},{"id":"https://openalex.org/keywords/relational-calculus","display_name":"Relational calculus","score":0.5822416543960571},{"id":"https://openalex.org/keywords/refinement","display_name":"Refinement","score":0.5271615386009216},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5138240456581116},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.49700668454170227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44249746203422546},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4398646056652069},{"id":"https://openalex.org/keywords/relational-model","display_name":"Relational model","score":0.43019551038742065},{"id":"https://openalex.org/keywords/communicating-sequential-processes","display_name":"Communicating sequential processes","score":0.41828101873397827},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.4109850525856018},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.3647722601890564},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.3622162938117981},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.3318091034889221},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1811797320842743},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.16792356967926025},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15100041031837463}],"concepts":[{"id":"https://openalex.org/C90483712","wikidata":"https://www.wikidata.org/wiki/Q7307205","display_name":"Refinement calculus","level":2,"score":0.8288761973381042},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7364018559455872},{"id":"https://openalex.org/C99436015","wikidata":"https://www.wikidata.org/wiki/Q1722436","display_name":"Relational calculus","level":4,"score":0.5822416543960571},{"id":"https://openalex.org/C14331664","wikidata":"https://www.wikidata.org/wiki/Q3417382","display_name":"Refinement","level":3,"score":0.5271615386009216},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5138240456581116},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49700668454170227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44249746203422546},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4398646056652069},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.43019551038742065},{"id":"https://openalex.org/C155214134","wikidata":"https://www.wikidata.org/wiki/Q1120460","display_name":"Communicating sequential processes","level":4,"score":0.41828101873397827},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.4109850525856018},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3647722601890564},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.3622162938117981},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3318091034889221},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1811797320842743},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.16792356967926025},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15100041031837463},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s00165-007-0066-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0066-z","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0066-z","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:kar.kent.ac.uk:14524","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-007-0066-z>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:HAL:hal-00477898v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00477898","pdf_url":null,"source":{"id":"https://openalex.org/S4406922276","display_name":"INRIA a CCSD electronic archive server","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Aspects of Computing, 2008, 21 (1-2), pp.65-102. ⟨10.1007/s00165-007-0066-z⟩","raw_type":"Journal articles"},{"id":"pmh:oai:tara.tcd.ie:2262/41497","is_oa":false,"landing_page_url":"http://hdl.handle.net/2262/41497","pdf_url":null,"source":{"id":"https://openalex.org/S4306400387","display_name":"Trinity's Access to Research Output (TARA) (Trinity College Dublin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205274468","host_organization_name":"Trinity College Dublin","host_organization_lineage":["https://openalex.org/I205274468"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/s00165-007-0066-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0066-z","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0066-z","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2126551001","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320319993","funder_display_name":"Leverhulme Trust"}],"funders":[{"id":"https://openalex.org/F4320319993","display_name":"Leverhulme Trust","ror":"https://ror.org/012mzw131"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2111901968.pdf","grobid_xml":"https://content.openalex.org/works/W2111901968.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W123523327","https://openalex.org/W146592160","https://openalex.org/W152092257","https://openalex.org/W258022877","https://openalex.org/W833850397","https://openalex.org/W1503973138","https://openalex.org/W1512562944","https://openalex.org/W1518246846","https://openalex.org/W1523469362","https://openalex.org/W1525928249","https://openalex.org/W1528438529","https://openalex.org/W1559870885","https://openalex.org/W1578632748","https://openalex.org/W1581774065","https://openalex.org/W1582292473","https://openalex.org/W1588335385","https://openalex.org/W1608417961","https://openalex.org/W1782795672","https://openalex.org/W1825706767","https://openalex.org/W1946608631","https://openalex.org/W1986933799","https://openalex.org/W1994013545","https://openalex.org/W2035306406","https://openalex.org/W2038167407","https://openalex.org/W2039686922","https://openalex.org/W2048884567","https://openalex.org/W2059772662","https://openalex.org/W2071435903","https://openalex.org/W2077548182","https://openalex.org/W2081676304","https://openalex.org/W2084161330","https://openalex.org/W2085383457","https://openalex.org/W2093917590","https://openalex.org/W2102097307","https://openalex.org/W2117879955","https://openalex.org/W2121372686","https://openalex.org/W2127095206","https://openalex.org/W2129384397","https://openalex.org/W2130178807","https://openalex.org/W2144973245","https://openalex.org/W2159181605","https://openalex.org/W2205337852","https://openalex.org/W2266362061","https://openalex.org/W2500079794","https://openalex.org/W2955084936","https://openalex.org/W3140353777","https://openalex.org/W3144368627","https://openalex.org/W4235624083","https://openalex.org/W4254136620","https://openalex.org/W4254354208","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2085988990","https://openalex.org/W2089781037","https://openalex.org/W2243465518","https://openalex.org/W1497695679","https://openalex.org/W2005835473","https://openalex.org/W2150575980","https://openalex.org/W2056340443","https://openalex.org/W1994784021","https://openalex.org/W2111901968","https://openalex.org/W1993758089"],"abstract_inverted_index":{"Abstract":[0],"Two":[1],"styles":[2],"of":[3,23,42,53,61,67,79,102,119],"description":[4],"arise":[5],"naturally":[6],"in":[7,58,70,131,141,150],"formal":[8],"specification:":[9],"state-based":[10,14],"and":[11,25,47,82,147,174,200,214],"behavioural.":[12],"In":[13,186],"notations,":[15],"a":[16,21,34,45,59,151,161],"system":[17,35,46],"is":[18,56,74,83,105,180],"characterised":[19],"by":[20,159],"collection":[22],"variables,":[24],"their":[26],"values":[27],"determine":[28],"which":[29],"actions":[30],"may":[31],"occur":[32],"throughout":[33],"history.":[36],"Behavioural":[37],"specifications":[38,195],"describe":[39],"the":[40,77,98,116,122,132,167,208,217],"chronologies":[41],"actions\u2014interactions":[43],"between":[44],"its":[48],"environment.":[49],"The":[50,100],"exact":[51],"nature":[52],"such":[54],"interactions":[55],"captured":[57],"variety":[60],"semantic":[62],"models":[63],"with":[64,143],"corresponding":[65],"notions":[66],"refinement;":[68],"refinement":[69,120,139,149,192],"state":[71],"based":[72,75],"systems":[73],"on":[76],"semantics":[78],"sequential":[80],"programs":[81],"modelled":[84],"relationally.":[85],"Acknowledging":[86],"that":[87,202],"these":[88,157],"viewpoints":[89],"are":[90],"complementary,":[91],"substantial":[92],"research":[93],"has":[94,210],"gone":[95],"into":[96,176],"combining":[97],"paradigms.":[99],"purpose":[101],"this":[103,188],"paper":[104],"to":[106,121,136,182,204],"do":[107],"three":[108],"things.":[109],"First,":[110],"we":[111,127,155,189],"survey":[112],"recent":[113],"results":[114,158],"linking":[115],"relational":[117,133,137,177,191],"model":[118],"process":[123,152],"algebraic":[124],"models.":[125],"Specifically,":[126],"detail":[128],"how":[129],"variations":[130],"framework":[134],"lead":[135],"data":[138],"being":[140],"correspondence":[142],"traces\u2013divergences,":[144],"singleton":[145],"failures":[146],"failures\u2013divergences":[148,205],"semantics.":[153],"Second,":[154],"generalise":[156],"providing":[160],"general":[162],"flexible":[163],"scheme":[164],"for":[165,194],"incorporating":[166],"two":[168],"main":[169],"\u201cerroneous\u201d":[170],"concurrent":[171],"behaviours:":[172],"deadlock":[173],"divergence,":[175],"refinement.":[178,206],"This":[179],"shown":[181],"subsume":[183],"previous":[184],"characterisations.":[185],"doing":[187],"derive":[190],"rules":[193],"containing":[196],"both":[197],"internal":[198],"operations":[199],"outputs":[201],"corresponds":[203],"Third,":[207],"theory":[209],"been":[211],"formally":[212],"specified":[213],"verified":[215],"using":[216],"interactive":[218],"theorem":[219],"prover":[220],"KIV.":[221]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-12T07:58:50.170612","created_date":"2016-06-24T00:00:00"}