{"id":"https://openalex.org/W2112228783","doi":"https://doi.org/10.1093/comjnl/44.3.174","title":"BSP-style Computation: a Semantic Investigation","display_name":"BSP-style Computation: a Semantic Investigation","publication_year":2001,"publication_date":"2001-03-01","ids":{"openalex":"https://openalex.org/W2112228783","doi":"https://doi.org/10.1093/comjnl/44.3.174","mag":"2112228783"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/44.3.174","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/44.3.174","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},"type":"article","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/A5039241744","display_name":"A L Stewart","orcid":"https://orcid.org/0000-0002-4853-8155"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"A. Stewart","raw_affiliation_strings":["School of Electronics, Electrical Engineering and Computer Science, High Performance and Distributed Computing"],"affiliations":[{"raw_affiliation_string":"School of Electronics, Electrical Engineering and Computer Science, High Performance and Distributed Computing","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5039241744"],"corresponding_institution_ids":[],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":1.1868,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81568252,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"44","issue":"3","first_page":"174","last_page":"185"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"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/computer-science","display_name":"Computer science","score":0.8676373958587646},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.8241182565689087},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5861145853996277},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5275689363479614},{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.5164163708686829},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.49076589941978455},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4580596387386322},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.44671982526779175},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.4465663731098175},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4453731179237366},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42515626549720764},{"id":"https://openalex.org/keywords/models-of-communication","display_name":"Models of communication","score":0.41279321908950806},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.4101758897304535},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35745668411254883},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09661552309989929}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8676373958587646},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.8241182565689087},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5861145853996277},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5275689363479614},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.5164163708686829},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.49076589941978455},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4580596387386322},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.44671982526779175},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.4465663731098175},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4453731179237366},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42515626549720764},{"id":"https://openalex.org/C158156997","wikidata":"https://www.wikidata.org/wiki/Q1416645","display_name":"Models of communication","level":2,"score":0.41279321908950806},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.4101758897304535},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35745668411254883},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09661552309989929},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C46312422","wikidata":"https://www.wikidata.org/wiki/Q11024","display_name":"Communication","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"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.1093/comjnl/44.3.174","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/44.3.174","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},{"id":"pmh:oai:pure.qub.ac.uk/portal:publications/842f22a1-143f-487c-9dbf-574b63f6ad5b","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=0035653190&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306402319","display_name":"Research Portal (Queen's University Belfast)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126231945","host_organization_name":"Queen's University Belfast","host_organization_lineage":["https://openalex.org/I126231945"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Stewart, H & Clint, M 2001, 'BSP -Style Computation: A Semantic Investigation', The Computer Journal, vol. 44 (3), no. 3, pp. 174-185. https://doi.org/10.1093/comjnl/44.3.174","raw_type":"info:eu-repo/semantics/publishedVersion"}],"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/W2142481367","https://openalex.org/W3196321793","https://openalex.org/W3080705045","https://openalex.org/W2385527937","https://openalex.org/W2005880840","https://openalex.org/W2379444625","https://openalex.org/W2507465767","https://openalex.org/W4385305499","https://openalex.org/W4245066656","https://openalex.org/W3010845029"],"abstract_inverted_index":{"A":[0],"BSP":[1,61],"(Bulk":[2],"Synchronous":[3],"Parallelism)":[4],"computation":[5],"is":[6,64],"characterized":[7],"by":[8],"the":[9,39,50,60,81,88,97,109,115,118,125,142,146],"generation":[10],"of":[11,19,22,53,70,78,84,117,128,130,145],"asynchronous":[12,85],"messages":[13,32],"in":[14],"packages":[15],"during":[16],"independent":[17],"execution":[18],"a":[20,35,44,67,76],"number":[21],"processes":[23],"and":[24,135],"their":[25],"subsequent":[26],"delivery":[27,83],"at":[28,43],"synchronization":[29],"points.":[30],"Bundling":[31],"together":[33],"represents":[34],"significant":[36],"departure":[37],"from":[38,124],"traditional":[40,105],"\u2018one":[41],"communication":[42,54,62],"time\u2019":[45],"approach.":[46,148],"In":[47,58],"this":[48],"paper":[49],"semantic":[51],"consequences":[52],"packaging":[55],"are":[56,100,138],"explored.":[57],"particular,":[59],"structure":[63],"identified":[65],"with":[66],"general":[68],"form":[69],"substitution\u2014predicate":[71],"substitution.":[72],"Predicate":[73],"substitution":[74],"provides":[75],"means":[77],"reasoning":[79],"about":[80],"synchronized":[82],"communications":[86],"when":[87],"immediate":[89],"programming":[90],"context":[91],"does":[92],"not":[93],"explicitly":[94],"refer":[95],"to":[96,101,140],"variables":[98,120],"that":[99],"be":[102,122],"updated":[103,119],"(unlike":[104],"operations,":[106],"such":[107],"as":[108],"assignment":[110],"$x":[111],":=":[112],"e$,":[113],"where":[114],"names":[116],"can":[121],"extracted":[123],"context).":[126],"Proofs":[127],"implementations":[129],"Newton's":[131],"root":[132],"finding":[133],"method":[134],"prefix":[136],"sum":[137],"used":[139],"illustrate":[141],"practical":[143],"application":[144],"proposed":[147]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}