{"id":"https://openalex.org/W4245027208","doi":"https://doi.org/10.1016/s1571-0661(05)80870-9","title":"Preface","display_name":"Preface","publication_year":2001,"publication_date":"2001-07-01","ids":{"openalex":"https://openalex.org/W4245027208","doi":"https://doi.org/10.1016/s1571-0661(05)80870-9"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80870-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80870-9","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)80870-9","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083405043","display_name":"Peter Sewell","orcid":"https://orcid.org/0000-0001-9352-1013"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Peter Sewell","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083405043"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.52368433,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"41","issue":"2","first_page":"17","last_page":"18"},"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.9936000108718872,"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.9936000108718872,"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.9832000136375427,"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.9708999991416931,"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.7886005640029907},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.7687258720397949},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7027996182441711},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6886506080627441},{"id":"https://openalex.org/keywords/erlang","display_name":"Erlang (programming language)","score":0.6133629679679871},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5863035917282104},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.47627800703048706}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7886005640029907},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.7687258720397949},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7027996182441711},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6886506080627441},{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.6133629679679871},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5863035917282104},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.47627800703048706}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80870-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80870-9","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)80870-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80870-9","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":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2129253059","https://openalex.org/W1524436860","https://openalex.org/W4296274916","https://openalex.org/W1504459189","https://openalex.org/W3004782279"],"abstract_inverted_index":{"This":[0],"issue":[1],"results":[2],"from":[3,140],"the":[4,40,95,129,132,141,225,232,237,241],"4th":[5],"International":[6],"Workshop":[7,271],"on":[8,25,90,171],"High-Level":[9],"Concurrent":[10],"Languages":[11],"(HLCL":[12,265],"2000),":[13],"held":[14],"as":[15,108,110,119],"a":[16,228],"satellite":[17],"event":[18],"to":[19,33,150,161,259],"PLI":[20],"2000":[21],"in":[22,39,165,190,252],"Montreal,":[23],"Canada,":[24],"September":[26],"20,":[27],"2000.":[28],"The":[29,55],"workshop":[30],"is":[31,57],"intended":[32],"bring":[34],"together":[35],"active":[36],"researchers":[37],"involved":[38],"design,":[41],"development,":[42],"foundations,":[43],"and":[44,53,67,75,79,86,106,126,147,153,167,218,245,262,273],"applications":[45],"of":[46,97,134,143,173,182,214,278,300,322],"high-level":[47],"concurrent":[48,85],"(and":[49],"distributed)":[50],"programming":[51,60,91,100,199],"languages":[52,101,111,136],"models.":[54],"theme":[56],"that":[58],"such":[59,118],"models":[61,92],"should":[62],"be":[63,162],"simple,":[64],"practical,":[65],"high-level,":[66],"well-founded.":[68],"These":[69],"qualities":[70],"allow":[71],"rigorous":[72],"language":[73,200],"specifications":[74],"support":[76],"both":[77],"formal":[78],"informal":[80],"reasoning":[81],"about":[82],"programs.":[83],"For":[84],"distributed":[87,154,198],"systems,":[88],"research":[89],"has":[93,247],"driven":[94],"design":[96,133],"several":[98],"recent":[99],"including":[102],"Erlang,":[103],"CML,":[104],"Facile,":[105],"Haskell,":[107],"well":[109],"explicitly":[112],"designed":[113],"for":[114,176,201,236,250],"concurrency":[115],"or":[116],"distribution":[117],"HACL,":[120],"JoCaml,":[121],"Obliq,":[122],"Oz,":[123],"(Nomadic)":[124],"Pict,":[125],"TyCO.":[127],"Although":[128],"motivations":[130],"behind":[131],"these":[135],"are":[137,256],"diverse":[138],"(ranging":[139],"development":[142],"graphical":[144],"user":[145],"interfaces":[146],"multi-agent":[148],"systems":[149],"constraint,":[151],"real-time,":[152],"programming),":[155],"suitable":[156],"foundations":[157],"have":[158],"turned":[159],"out":[160],"quite":[163],"similar":[164],"style":[166],"technique,":[168],"often":[169],"based":[170],"variants":[172],"well-known":[174],"calculi":[175],"mobile":[177],"processes.":[178],"Programme":[179],"14.20-14.30Open14.30-15.20An":[180],"Overview":[181],"Functional":[183],"Nets.":[184],"Invited":[185,205],"Talk:":[186,206],"Martin":[187],"Odersky15.20-16.00Asynchronous":[188],"Exceptions":[189],"Haskell.":[191],"Simon":[192,194],"Marlow,":[193],"Peyton-Jones,":[195],"Andrew":[196],"MoranBreak16.30-17.20A":[197],"building":[202],"security":[203],"infrastructures.":[204],"Trevor":[207,292],"Jim17.20-18.00A":[208],"Distributed":[209],"Calculus":[210],"with":[211],"Local":[212],"Areas":[213],"Communication.":[215],"Tom":[216],"Chothia":[217,244],"Ian":[219],"Stark.Close":[220],"Submissions":[221],"were":[222],"reviewed":[223],"by":[224,243],"program":[226],"committee;":[227],"preliminary":[229],"proceedings":[230],"containing":[231],"above":[233],"was":[234],"produced":[235],"workshop.":[238],"Of":[239],"these,":[240],"paper":[242],"Stark":[246],"been":[248],"revised":[249],"inclusion":[251],"this":[253],"issue.":[254],"We":[255],"very":[257],"grateful":[258],"Uwe":[260,303],"Nestmann":[261,304],"Benjamin":[263],"Pierce":[264],"Organizing":[266],"Committee),":[267],"Amy":[268],"Felty":[269],"(PLI":[270],"Chair)":[272],"Mike":[274],"Mislove":[275],"(Managing":[276],"Editor":[277],"ENTCS).":[279],"Program":[280],"Committee":[281],"Cedric":[282],"Fournet":[283],"(Microsoft":[284],"Research":[285],"UK)":[286,324],"Alan":[287],"Jeffrey":[288],"(DePaul":[289],"University,":[290,306],"USA)":[291,296,312,318],"Jim":[293],"(ATT":[294],"Labs,":[295,311,317],"Naoki":[297],"Kobayashi":[298],"(University":[299,321],"Tokyo,":[301],"Japan)":[302],"(Aalborg":[305],"Denmark)":[307],"John":[308],"Reppy":[309],"(Bell":[310,316],"(Co-chair)":[313,325],"Aleta":[314],"Riccardi":[315],"Peter":[319],"Sewell":[320],"Cambridge,":[323],"Gert":[326],"Smolka":[327],"(Universit\u00e4t":[328],"des":[329],"Saarlandes,":[330],"Germany)":[331]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}