{"id":"https://openalex.org/W4233531452","doi":"https://doi.org/10.1016/s1571-0661(05)80567-5","title":"Preface","display_name":"Preface","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W4233531452","doi":"https://doi.org/10.1016/s1571-0661(05)80567-5"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80567-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80567-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80567-5","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018685791","display_name":"Uwe Nestmann","orcid":"https://orcid.org/0000-0002-8520-5448"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Uwe Nestmann","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5085361253","display_name":"Benjamin C. Pierce","orcid":"https://orcid.org/0000-0001-7839-1636"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Benjamin C. Pierce","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5018685791"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.56286589,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"3","first_page":"291","last_page":"291"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9854000210762024,"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"}},"topics":[{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9854000210762024,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.972599983215332,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9549000263214111,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7463769912719727},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7067236304283142},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.62971431016922},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6068325042724609},{"id":"https://openalex.org/keywords/erlang","display_name":"Erlang (programming language)","score":0.5417152047157288},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.49348127841949463},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34660306572914124}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7463769912719727},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7067236304283142},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.62971431016922},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6068325042724609},{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.5417152047157288},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.49348127841949463},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34660306572914124}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80567-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80567-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80567-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80567-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W1602185604","https://openalex.org/W3004782279","https://openalex.org/W2028779182","https://openalex.org/W4242678340","https://openalex.org/W1975276861","https://openalex.org/W2140654465","https://openalex.org/W1591331302","https://openalex.org/W2132325017","https://openalex.org/W1671914757"],"abstract_inverted_index":{"The":[0,147,174],"HLCL":[1,149,176],"workshops":[2],"are":[3,105],"intended":[4],"to":[5,118,129,214,242,263,274],"bring":[6],"together":[7],"researchers":[8],"involved":[9],"in":[10,133,171,189],"the":[11,60,93,97,100,109,160,209,215,221,229,244,247,250,254,257,265,278,287,290,296],"design,":[12],"development,":[13],"foundations,":[14],"and":[15,22,31,40,44,51,75,92,115,121,135,156,183,202,253,267,280,305],"applications":[16],"of":[17,62,70,102,111,141,168,228,246,256,289],"high-level":[18],"concurrent":[19,50],"programming":[20,56,65],"languages":[21,80,104],"models.":[23],"Programming":[24],"models":[25,57],"should":[26],"be":[27,130],"simple,":[28],"practical,":[29],"high-level,":[30],"well":[32,78],"founded.":[33],"These":[34],"qualities":[35],"allow":[36],"rigorous":[37],"language":[38],"specifications":[39],"support":[41],"both":[42,264],"formal":[43],"informal":[45],"reasoning":[46],"about":[47],"programs.":[48],"For":[49,205],"distributed":[52,122],"systems,":[53],"research":[54],"on":[55,139],"has":[58],"driven":[59],"design":[61,101],"several":[63],"recent":[64],"languages,":[66],"including":[67],"Erlang,":[68],"versions":[69],"ML,":[71],"like":[72,241,273],"CML,":[73],"Facile,":[74],"Haskell,":[76],"as":[77,79,88],"explicitly":[81],"designed":[82],"for":[83,144,164,260,277,283,293,302,308],"concurrency":[84],"or":[85],"distribution":[86],"such":[87],"Obliq,":[89],"Oz,":[90],"Pict,":[91],"Join-Calculus":[94],"language.":[95],"Although":[96],"motivations":[98],"behind":[99],"these":[103],"diverse":[106],"(ranging":[107],"from":[108],"development":[110],"graphical":[112],"user":[113],"interfaces":[114],"multi-agent":[116],"systems":[117],"constraint,":[119],"real-time,":[120],"programming),":[123],"suitable":[124],"foundations":[125],"have":[126],"turned":[127],"out":[128],"quite":[131],"similar":[132],"style":[134],"technique,":[136],"often":[137],"based":[138],"variants":[140],"well-known":[142],"calculi":[143],"mobile":[145],"processes.":[146],"first":[148],"Workshop":[150,177],"was":[151,178],"organized":[152,179],"by":[153,180,193,232],"Benjamin":[154,198],"Pierce":[155],"Matthew":[157],"Hennessy":[158],"at":[159,186,220,300],"Isaac":[161],"Newton":[162],"Institute":[163],"Mathematical":[165],"Sciences,":[166],"University":[167],"Cambridge,":[169],"UK,":[170],"October":[172],"1995.":[173],"second":[175],"Martin":[181,196],"M\u00fcller":[182],"Joachim":[184],"Niehren":[185],"Dagstuhl,":[187],"Germany,":[188],"January":[190],"1997,":[191],"chaired":[192],"Kohei":[194],"Honda,":[195],"Odersky,":[197],"Pierce,":[199],"Gert":[200],"Smolka,":[201],"Phil":[203],"Wadler.":[204],"more":[206],"information":[207],"see":[208],"workshop":[210],"homepage.":[211],"In":[212],"addition":[213],"six":[216],"contributed":[217],"papers":[218],"presented":[219],"workshop,":[222],"this":[223,268],"collection":[224],"contains":[225],"an":[226],"abstract":[227],"invited":[230,251],"talk":[231],"James":[233],"E.":[234],"White":[235],"(General":[236],"Magic,":[237],"US).":[238],"We":[239,270],"would":[240,272],"thank":[243,275],"authors":[245],"submitted":[248],"papers,":[249],"speaker,":[252],"members":[255],"program":[258],"committee":[259,299],"their":[261],"contribution":[262],"meeting":[266],"volume.":[269],"also":[271],"BRICS":[276],"printing":[279],"Michael":[281],"Mislove":[282],"his":[284],"help":[285],"with":[286],"editing":[288],"proceedings,":[291],"ERCIM":[292],"financial":[294],"support,":[295],"CONCUR":[297],"organizing":[298],"INRIA":[301],"hosting":[303],"HLCL'98,":[304],"Silvano":[306],"Dal-Zilio":[307],"further":[309],"local":[310],"organization.":[311]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}