{"id":"https://openalex.org/W1830954042","doi":"https://doi.org/10.12694/scpe.v3i4.209","title":"Concurrency State Models and Java Programs","display_name":"Concurrency State Models and Java Programs","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1830954042","doi":"https://doi.org/10.12694/scpe.v3i4.209","mag":"1830954042"},"language":"en","primary_location":{"id":"mag:1830954042","doi":"https://doi.org/10.12694/scpe.v3i4.209","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/scpe/scpe3.html#Gilreath00","pdf_url":null,"source":{"id":"https://openalex.org/S2764391171","display_name":"Scalable Computing Practice and Experience","issn_l":"1895-1767","issn":["1895-1767"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","poland-20","russia-white-list-2"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Scalable Computing Practice and Experience","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/A5035721975","display_name":"William F. Gilreath","orcid":"https://orcid.org/0000-0002-6975-0489","observed_orcids":["https://orcid.org/0000-0002-6975-0489"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"William F. Gilreath","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6975-0489","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5035721975"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":30.3358,"has_fulltext":false,"cited_by_count":325,"citation_normalized_percentile":{"value":0.99592779,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":100},"biblio":{"volume":"3","issue":"4","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.63919997215271,"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.63919997215271,"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.16329999268054962,"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/T10142","display_name":"Formal Methods in Verification","score":0.13109999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrency","display_name":"concurrency","score":0.9490000009536743},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5849999785423279},{"id":"https://openalex.org/keywords/threads","display_name":"threads","score":0.5609999895095825},{"id":"https://openalex.org/keywords/process","display_name":"process","score":0.460999995470047},{"id":"https://openalex.org/keywords/interleaving","display_name":"interleaving","score":0.7850000262260437},{"id":"https://openalex.org/keywords/finite-state-machines","display_name":"finite automata","score":0.6320000290870667},{"id":"https://openalex.org/keywords/shared-objects","display_name":"shared objects","score":0.5299999713897705},{"id":"https://openalex.org/keywords/monitors","display_name":"monitors","score":0.9359999895095825},{"id":"https://openalex.org/keywords/deadlock","display_name":"deadlock","score":0.7279999852180481},{"id":"https://openalex.org/keywords/deadlock-analysis","display_name":"deadlock analysis","score":0.3569999933242798}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8392406702041626},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7214750051498413},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.7213392853736877},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.660164475440979},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5830450057983398},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32051903009414673},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.31125470995903015},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.1448826789855957},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.09285512566566467}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:1830954042","doi":"https://doi.org/10.12694/scpe.v3i4.209","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/scpe/scpe3.html#Gilreath00","pdf_url":null,"source":{"id":"https://openalex.org/S2764391171","display_name":"Scalable Computing Practice and Experience","issn_l":"1895-1767","issn":["1895-1767"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","poland-20","russia-white-list-2"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Scalable Computing Practice and Experience","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2060910670","https://openalex.org/W2119662818","https://openalex.org/W653189814","https://openalex.org/W1534135395","https://openalex.org/W7038634830","https://openalex.org/W7099901097","https://openalex.org/W2621657095","https://openalex.org/W2495679518","https://openalex.org/W1533487732","https://openalex.org/W1885809555"],"abstract_inverted_index":{"Jeff":[0,3],"Magee":[1],"and":[2,7,30,40,42,63,80,91,134,174,194,203,226,248,279,304,321,333,345,362,372,412,429,440,460,491,507,545,559,574,607,632,678,723,738,751,771,800,817,834,838,858,878,906,912],"Kramer":[4],"John":[5],"Wiley":[6],"Sons,":[8],"New":[9],"York,":[10],"NY,":[11],"1999,":[12],"374":[13],"pp.":[14],"ISBN":[15],"0471987107,":[16],"$64.99":[17],"The":[20,34,52,82,98,181,209,219,241,258,271,296,317,339,357,379,404,419,475,494,556,566,583,627,647,671,695,759,791,810,827,847,894],"book":[21,99,210,760,895],"is":[22,56,85,100,114,138,211,263,341,386,401,409,413,427,438,444,473,480,540,553,564,577,595,638,655,697,761,844,862,881,896],"an":[23,305,462,879],"introductory":[24],"text":[25,35,182,262,696,811,937],"to":[26,76,151,166,176,191,201,350,415,458,482,525,570,664,710,756,783,798,832,898,915,928],"the":[27,48,69,73,95,122,130,145,157,161,178,205,232,253,256,261,292,299,302,312,315,328,335,347,390,422,452,484,498,508,520,529,600,617,641,668,683,689,692,731,734,747,754,757,769,785,789,796,804,854,865,868,884,892,902,908,920,924,933,936,943],"ideas,":[28],"concepts,":[29,188],"topics":[31,281,739,828,903],"of":[32,44,61,71,94,125,129,156,159,187,229,255,260,277,307,314,319,330,337,369,381,392,406,421,448,464,528,547,561,585,619,634,643,680,721,824,875,904,942],"concurrency.":[33,338,364],"focuses":[36],"on":[37,47,237,342,346,522,599,651,730,883,891,901],"understanding":[38,155],"concepts":[39,124,137,158,206,329,530,601,669,737,813],"techniques,":[41],"problems":[43,162],"concurrency,":[45,160,230,833,905],"not":[46,141,289,777,819],"implementation":[49,667],"or":[50,107,355,537,705,781],"language.":[51,945],"author's":[53,885],"overall":[54],"goal":[55],"that":[57,163,469,503,513,654,940],"by":[58,446,640,688],"a":[59,103,147,153,171,184,224,274,352,417,430,435,456,465,471,550,586,592,652,675,702,707,718,764,821],"combination":[60],"learning":[62],"doing":[64],"using":[65,343,384],"Java":[66,83,131,199,322,385,399,426,436,562,580,613,660,909,921,944],"should":[67],"make":[68,806],"process":[70,354],"acquiring":[72],"skills":[74],"relating":[75],"concurrency":[77],"interesting,":[78],"enjoyable,":[79],"challenging.":[81],"language":[84,133,922],"thus":[86],"used":[87,290,349,414,481,663,687,914],"only":[88],"for":[89,102,301,455,589,682,699,706,712,932],"illustration":[90],"programming":[92,113,132,380,581,855],"experience":[93],"reader.":[96,257],"intended":[101,762],"computer":[104],"science":[105],"student":[106],"software":[108],"developer.":[109],"A":[110,860],"background":[111],"in":[112,170,291,311,425,489,492,549,591,666,701,788,807],"expected,":[115],"as":[116,118,189,763,773,888,890,919],"well":[117,814,836,851,889,938],"some":[119],"familiarity":[120],"with":[121,198,216,231,265,327,334,434,497,579,630,725,733,795,907],"essential":[123,802],"object-oriented":[126],"programming.":[127],"Knowledge":[128],"operating":[135],"systems":[136],"beneficial":[139],"but":[140,286,775,840,931],"required.":[142],"After":[143],"reading":[144],"text,":[146],"reader":[148,709],"can":[149,249],"expect":[150],"have":[152],"broad":[154],"arise,":[164],"methods":[165,420],"emphasis":[167,340],"desirable":[168],"properties":[169],"concurrent":[172,196,353,382,466,609],"system,":[173,594],"ways":[175],"avoid":[177],"undesirable":[179],"ones.":[180],"provides":[183,298],"systematic":[185],"treatment":[186],"means":[190],"rigorously":[192],"specify":[193],"model":[195,621],"systems,":[197],"examples":[200,792,849,925],"animate":[202],"illustrate":[204,483,665,916],"discussed.":[207,403,532,670],"organized":[212],"into":[213],"twelve":[214],"chapters,":[215],"three":[217,672],"appendices.":[218],"first":[220],"eight":[221],"chapters":[222,235,244],"provide":[223,273,674],"concise":[225],"comprehensive":[227],"foundation":[228,300],"remaining":[233],"four":[234,243],"focusing":[236],"more":[238,735],"advanced":[239],"concepts.":[240],"latter":[242],"are":[245,288,323,377,611,625,662,793,830,835,850],"somewhat":[246],"supplemental":[247],"be":[250,929],"read":[251],"at":[252,623],"discretion":[254],"content":[259],"self-contained,":[264],"no":[266,841],"reliance":[267],"upon":[268],"external":[269,284],"references.":[270],"authors":[272,518,648,690,805],"concluding":[275],"set":[276],"notes":[278],"further":[280],"which":[282],"reference":[283],"works,":[285],"these":[287],"chapter":[293,727],"contents.":[294],"introduction":[297,447],"book,":[303],"idea":[306,336],"what":[308],"will":[309],"follow":[310,326],"rest":[313],"text.":[316],"basics":[318],"modeling":[320,376,535,631,685],"covered.":[324],"Authors":[325,450],"processes,":[331],"threads":[332,400,548,563],"Java,":[344],"notation":[348],"define":[351],"thread.":[356],"discussion":[358,443,567,722,772,797],"continues":[359,496],"covering":[360],"interleaving":[361],"asynchronous":[363],"Various":[365],"details":[366],"about":[367],"composition":[368],"parallel":[370],"processes":[371],"finite":[373],"state":[374,941],"processing":[375],"presented.":[378,565,597],"execution":[383],"then":[387,569,649],"examined":[388,829,845],"via":[389],"concept":[391,405,584],"multiple":[393],"threads.":[394],"Here,":[395,517],"sharing":[396],"objects":[397],"among":[398],"also":[402,596],"conditional":[407],"synchronization":[408],"covered":[410,554],"next,":[411],"construct":[416],"monitor.":[418],"base":[423],"object":[424,437],"used,":[428],"waiting":[431],"queue":[432],"associated":[433],"discussed":[439],"implemented.":[441],"This":[442,743],"followed":[445],"deadlock.":[449],"show":[451],"conditions":[453],"necessary":[454],"deadlock":[457],"occur":[459],"present":[461],"analysis":[463],"system":[467,472,653],"establishing":[468],"such":[470],"deadlock-free.":[474],"classic":[476],"Dining":[477],"Philosopher's":[478],"problem":[479],"distinction":[485],"between":[486],"finding":[487],"deadlocks":[488],"models":[490],"programs.":[493],"presentation":[495,628,876],"safety":[499],"property":[500,510],"(that":[501,511],"asserts":[502,512],"nothing":[504,514],"bad":[505],"happens),":[506],"liveliness":[509],"good":[515],"happens).":[516],"use":[519,711],"material":[521,748,770,873],"model-based":[523],"design":[524,538],"consolidate":[526],"many":[527],"previously":[531],"No":[533],"one":[534,842],"method":[536],"methodology":[539],"emphasized.":[541],"Then":[543],"creation":[544],"elimination":[546],"running":[551],"program":[552],"next.":[555],"dynamic":[557],"starting":[558],"stopping":[560],"moves":[568],"messaging":[571,576,593],"passing.":[572],"Asynchronous":[573],"synchronous":[575],"presented":[578],"examples.":[582],"rendezvous,":[587],"allowing":[588],"interaction":[590],"Based":[598],"developed":[602],"so":[603,766],"far":[604],"filter-pipeline,":[605],"supervisor-worker,":[606],"announcer-listener":[608],"architectures":[610],"examined.":[612],"programs":[614,661,913],"demonstrating":[615],"how":[616],"elements":[618],"each":[620,726,808],"interact":[622],"runtime":[624],"developed.":[626],"completes":[629],"implementing":[633],"timed":[635],"systems.":[636],"Time":[637],"signaled":[639],"passage":[642],"successive":[644],"time":[645,934],"ticks.":[646],"elaborate":[650],"event-based":[656],"rather":[657],"than":[658],"thread-based.":[659],"appendices":[673],"reference,":[676],"specification,":[677],"listing":[679],"semantics":[681],"finite-state":[684],"algebra":[686],"throughout":[691],"book.":[693,869],"ideal":[698],"teaching":[700],"classroom":[703],"environment,":[704],"motivated":[708],"self-paced":[713],"learning.":[714],"Its":[715],"organization":[716],"follows":[717],"logical":[719],"train":[720],"thought,":[724],"building":[728],"successively":[729],"other,":[732],"difficult":[736],"withheld":[740],"until":[741],"later.":[742],"gradual":[744],"approach":[745],"makes":[746],"flow":[749],"smoothly":[750],"cohesively":[752],"from":[753,867],"beginning":[755],"end.":[758],"textbook,":[765],"does":[767,776,818],"organize":[768],"one,":[774],"become":[778,820],"too":[779],"dry":[780],"bland":[782],"stifle":[784],"reader's":[786],"interest":[787],"material.":[790],"inter-mixed":[794],"highlight":[799],"emphasize":[801],"points":[803],"chapter.":[809],"illustrates":[812],"under":[815],"discussion,":[816],"long-winded":[822],"recital":[823],"theory.":[825],"fundamental":[831],"illustrated":[837],"discussed,":[839],"topic":[843],"extensively.":[846],"code":[848],"written":[852],"concerning":[853],"style,":[856],"indentation":[857],"comments.":[859],"CD":[861],"provided,":[863],"containing":[864],"codes":[866],"In":[870],"addition":[871],"supplementary":[872],"consisting":[874],"slides":[877],"errata":[880],"provided":[882],"WWW":[886],"site,":[887],"CD.":[893],"up":[897],"date":[899],"both":[900],"applets,":[910],"code,":[911],"them.":[917],"Later,":[918],"evolves,":[923],"may":[926],"need":[927],"updated,":[930],"being":[935],"represents":[939],"William":[947],"F.":[948],"Gilreath,":[949],"Micron":[950],"Technology,":[951],"Inc.,":[952],"Boise":[953],"Idaho":[954]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":14},{"year":2014,"cited_by_count":10},{"year":2013,"cited_by_count":12},{"year":2012,"cited_by_count":12}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2016-06-24T00:00:00"}