{"id":"https://openalex.org/W4407791346","doi":"https://doi.org/10.3233/978-1-60750-774-1-379","title":"Adding Formal Verification to occam-π","display_name":"Adding Formal Verification to occam-π","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W4407791346","doi":"https://doi.org/10.3233/978-1-60750-774-1-379"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-774-1-379","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-774-1-379","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Concurrent Systems Engineering Series","raw_type":"book-chapter"},"type":"book-chapter","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/A5116348949","display_name":"Welch Peter H.","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Welch Peter H.","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116348950","display_name":"Pedersen Jan B.","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pedersen Jan B.","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116348951","display_name":"Barnes Fred R.M.","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barnes Fred R.M.","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116348952","display_name":"Ritson Carl G.","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ritson Carl G.","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5116348953","display_name":"Brown Neil C.C.","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brown Neil C.C.","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5116348949"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.50380686,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.7781000137329102,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.7781000137329102,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.717199981212616,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.649399995803833,"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/occam","display_name":"occam","score":0.9081770181655884},{"id":"https://openalex.org/keywords/occams-razor","display_name":"Occam's razor","score":0.6684519648551941},{"id":"https://openalex.org/keywords/pi","display_name":"Pi","score":0.5408064126968384},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5348894000053406},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48353123664855957},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4383240342140198},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22106415033340454},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.043067336082458496},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.039980560541152954}],"concepts":[{"id":"https://openalex.org/C78469957","wikidata":"https://www.wikidata.org/wiki/Q838062","display_name":"occam","level":2,"score":0.9081770181655884},{"id":"https://openalex.org/C64802038","wikidata":"https://www.wikidata.org/wiki/Q131012","display_name":"Occam's razor","level":2,"score":0.6684519648551941},{"id":"https://openalex.org/C53009064","wikidata":"https://www.wikidata.org/wiki/Q167","display_name":"Pi","level":2,"score":0.5408064126968384},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5348894000053406},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48353123664855957},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4383240342140198},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22106415033340454},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.043067336082458496},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.039980560541152954}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-60750-774-1-379","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-774-1-379","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Concurrent Systems Engineering Series","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3023590748","https://openalex.org/W2949846021","https://openalex.org/W2951568450","https://openalex.org/W1731670240","https://openalex.org/W2966907487","https://openalex.org/W2140251433","https://openalex.org/W2020649503","https://openalex.org/W51126094","https://openalex.org/W1718449494","https://openalex.org/W1519727353"],"abstract_inverted_index":{"This":[0],"is":[1,19,88,123,133,158,179],"a":[2,46,113,180],"proposal":[3],"for":[4,30,73,126],"the":[5,57,68,75,98,119,152,163,186],"formal":[6],"verification":[7,31],"of":[8,48,85,93,131,155,165],"occam-π":[9,69,77,99,167],"programs":[10],"to":[11,56,67,78,118,160,184,190],"be":[12],"managed":[13],"entirely":[14],"within":[15],"occam-π.":[16],"The":[17,43,71,82],"language":[18],"extended":[20,76],"with":[21,90,128,169],"qualifiers":[22],"on":[23,188],"types":[24],"and":[25,34,41,51,61,107,142],"processes":[26],"(to":[27],"indicate":[28],"relevance":[29],"and/or":[32],"execution)":[33],"assertions":[35,87],"about":[36],"refinement":[37],"(including":[38],"deadlock,":[39],"livelock":[40],"determinism).":[42],"compiler":[44],"abstracts":[45],"set":[47],"CSPm":[49,79,86],"equations":[50],"assertions,":[52],"delegates":[53],"their":[54],"analysis":[55],"FDR2":[58],"model":[59,156],"checker":[60],"reports":[62],"back":[63],"in":[64],"terms":[65],"related":[66],"source.":[70],"rules":[72],"mapping":[74],"are":[80,102],"given.":[81],"full":[83],"range":[84],"accessible,":[89],"no":[91],"knowledge":[92],"CSP":[94],"formalism":[95],"required":[96],"by":[97,105,135,150],"programmer.":[100],"Programs":[101],"proved":[103],"just":[104],"writing":[106],"compiling":[108],"programs.":[109],"A":[110],"case-study":[111],"analysing":[112],"new":[114],"(and":[115],"elegant)":[116],"solution":[117],"Dining":[120],"Philosophers":[121],"problem":[122],"presented.":[124],"Deadlock-freedom":[125],"colleges":[127],"any":[129],"number":[130],"philosphers":[132,171],"established":[134],"verifying":[136],"an":[137,166],"induction":[138,143],"argument":[139],"(the":[140],"base":[141],"steps).":[144],"Finally,":[145],"following":[146],"guidelines":[147],"laid":[148],"down":[149],"Roscoe,":[151],"careful":[153],"use":[154],"compression":[157],"demonstrated":[159],"verify":[161],"directly":[162],"deadlock-freedom":[164],"college":[168],"102000":[170],"(in":[172],"around":[173],"30":[174],"seconds).":[175],"All":[176],"we":[177],"need":[178],"universe":[181],"large":[182],"enough":[183],"contain":[185],"computer":[187],"which":[189],"run":[191],"it.":[192]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}