{"id":"https://openalex.org/W15375556","doi":null,"title":"Lecture Notes on Programming Concurrent Computer Systems","display_name":"Lecture Notes on Programming Concurrent Computer Systems","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W15375556","mag":"15375556"},"language":"en","primary_location":{"id":"mag:15375556","doi":null,"is_oa":false,"landing_page_url":"http://i.unu.edu/media/publication/000/001/562/report325.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5100405109","display_name":"Zhiming Liu","orcid":"https://orcid.org/0000-0001-9771-3071","observed_orcids":["https://orcid.org/0000-0001-9771-3071","https://orcid.org/0000-0003-1465-9247"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhiming Liu","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-9771-3071","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5100405109"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00346652,"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/T10126","display_name":"Logic, programming, and type systems","score":0.7026000022888184,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7026000022888184,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.1784999966621399,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0502999983727932,"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/concurrent-programming","display_name":"concurrent programming","score":0.9990000128746033},{"id":"https://openalex.org/keywords/concurrency","display_name":"concurrency","score":0.5529999732971191},{"id":"https://openalex.org/keywords/nondeterminism","display_name":"non-determinism","score":0.8080000281333923},{"id":"https://openalex.org/keywords/synchronization","display_name":"synchronization","score":0.9070000052452087},{"id":"https://openalex.org/keywords/deadlock","display_name":"deadlock","score":0.8149999976158142},{"id":"https://openalex.org/keywords/livelock","display_name":"livelock","score":0.9610000252723694},{"id":"https://openalex.org/keywords/safety-and-liveness-properties","display_name":"safety and liveness properties","score":0.902999997138977},{"id":"https://openalex.org/keywords/semaphores","display_name":"semaphores","score":0.8930000066757202},{"id":"https://openalex.org/keywords/monitors","display_name":"monitors","score":0.8100000023841858},{"id":"https://openalex.org/keywords/remote-invocation","display_name":"remote invocation","score":0.9589999914169312},{"id":"https://openalex.org/keywords/message-passing","display_name":"message passing","score":0.7860000133514404},{"id":"https://openalex.org/keywords/shared-variables","display_name":"shared variables","score":0.9869999885559082}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8404511213302612},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7791748046875},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.6995924711227417},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6131972074508667},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5949990153312683},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.538857638835907},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.5217093825340271},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5179604291915894},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41709479689598083},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40337932109832764},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.32368820905685425},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.1346929669380188},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.13225799798965454},{"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/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:15375556","doi":null,"is_oa":false,"landing_page_url":"http://i.unu.edu/media/publication/000/001/562/report325.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1527654363","https://openalex.org/W7101119366","https://openalex.org/W2559974443","https://openalex.org/W1007913130","https://openalex.org/W2894945786","https://openalex.org/W2105435765","https://openalex.org/W4255841455","https://openalex.org/W1483930618","https://openalex.org/W2010913353","https://openalex.org/W6991868458"],"abstract_inverted_index":{"Concurrent":[0,191],"programming":[1,31],"is":[2,21,150],"the":[3,19,24,67,72,87,90,96,137],"activity":[4],"of":[5,18,71,74,89,98,139,140,145,161,172,201],"constructing":[6],"a":[7,61,151],"program":[8],"containing":[9],"multiple":[10],"processes":[11],"that":[12],"execute":[13],"in":[14,30,39,44,136],"parallel.":[15],"The":[16,48,64],"aim":[17],"course":[20,49,65],"to":[22,36],"introduce":[23],"basic":[25],"concepts,":[26],"principles":[27],"and":[28,35,42,58,81,100,116,125,143,170,175,178,189,192,199],"techniques":[29,180],"concurrent":[32,46,146,176],"computing":[33,162],"systems,":[34,56,163,177],"provide":[37,52],"practice":[38],"solving":[40],"problems":[41],"skill":[43],"writing":[45],"programs.":[47,147],"will":[50,129],"also":[51],"methods":[53,166],"for":[54,95,167,181],"evaluating":[55],"algorithms":[57],"languages":[59],"from":[60],"broad":[62],"perspective.":[63],"provides":[66,84],"students":[68,85],"with":[69,86],"understanding":[70],"notations":[73],"concurrency,":[75],"nondeterminism,":[76],"synchronization,":[77],"deadlock,":[78],"livelock,":[79],"safety":[80],"liveness.":[82],"It":[83,119],"history":[88],"development":[91],"different":[92],"language":[93],"mechanisms":[94],"realization":[97],"synchronization":[99,103,106,108],"interactions,":[101],"including":[102,164],"without":[104],"using":[105],"primitives,":[107],"by":[109,210],"semaphores,":[110],"conditional":[111],"regions,":[112],"monitors,":[113],"hand-shake":[114],"communication":[115,121],"remote":[117],"invocation.":[118],"covers":[120],"via":[122],"shared":[123],"variables":[124],"message":[126],"passing.":[127],"We":[128],"take":[130],"an":[131],"informal":[132],"but":[133],"prices":[134],"approach":[135],"discussion":[138],"requirements,":[141],"design":[142],"validation":[144],"Zhiming":[148,212],"Liu":[149,213],"research":[152,157],"fellow":[153],"at":[154],"UNU/IIST.":[155],"His":[156,184],"interests":[158,186],"include":[159],"theory":[160],"sound":[165],"specification,":[168],"verification":[169],"refinement":[171],"fault-tolerant,":[173],"real-time":[174],"formal":[179],"OO":[182],"development.":[183],"teaching":[185],"are":[187],"Communication":[188],"Concurrency,":[190],"Distributed":[193],"Programming,":[194],"Software":[195],"Engineering,":[196],"Formal":[197],"specification":[198],"Design":[200],"Computer":[202],"Systems.":[203],"E-mail:":[204],"Z.Liu@iis.unu.edu.":[205],"Copyright":[206],"c":[207],"\u00a9":[208],"2005":[209],"UNU/IIST,":[211]},"counts_by_year":[],"updated_date":"2026-09-24T07:57:37.273135","created_date":"2016-06-24T00:00:00"}