{"id":"https://openalex.org/W1588633537","doi":"https://doi.org/10.1016/s1571-0661(05)80562-6","title":"Preface","display_name":"Preface","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1588633537","doi":"https://doi.org/10.1016/s1571-0661(05)80562-6","mag":"1588633537"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80562-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80562-6","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)80562-6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101173818","display_name":"Steve Brookes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Steve Brookes","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110857813","display_name":"Michael L. Main","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Main","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051562562","display_name":"Austin Melton","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Austin Melton","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5087271577","display_name":"Michael Mislove","orcid":"https://orcid.org/0000-0002-6650-1399"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Mislove","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5341,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60924612,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"557","last_page":"558"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9803000092506409,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9803000092506409,"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/library-science","display_name":"Library science","score":0.6994410753250122},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5777117609977722},{"id":"https://openalex.org/keywords/eleventh","display_name":"Eleventh","score":0.4391511380672455},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3611660599708557}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.6994410753250122},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5777117609977722},{"id":"https://openalex.org/C2779796141","wikidata":"https://www.wikidata.org/wiki/Q1930430","display_name":"Eleventh","level":2,"score":0.4391511380672455},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3611660599708557},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80562-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80562-6","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)80562-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80562-6","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":[{"display_name":"Partnerships for the goals","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2487861507","https://openalex.org/W4232887306","https://openalex.org/W2809582759","https://openalex.org/W2065875995","https://openalex.org/W2352396673","https://openalex.org/W4239298500","https://openalex.org/W2253106503","https://openalex.org/W2808551976","https://openalex.org/W4232159483"],"abstract_inverted_index":{"Foreword":[0],"and":[1,52,86,104,110,133,146,157,170,216,332,367,374,387,413,434,445,451,464,521,549,616],"Dedication":[2,350,554],"This":[3,58,74,168],"volume":[4,43,62],"contains":[5,223],"the":[6,9,13,24,50,56,60,64,80,93,117,126,140,165,171,174,191,203,214,217,221,229,246,252,305,311,314,322,343,349,353,371,375,401,419,429,447,492,497,509,518,529,539,559,569,576,601,606,617,625],"Proceedings":[7,222,560],"of":[8,16,26,82,92,101,105,114,125,220,226,228,239,345,418,431,494,531,561,571,585,627,630],"Eleventh":[10],"Conference":[11,20,201],"on":[12,23,336,395,517,568],"Mathematical":[14],"Foundations":[15],"Programming":[17],"Semantics.":[18],"The":[19,39,90,122,324,398,633],"was":[21,327,359,504,589],"held":[22],"campus":[25],"Tulane":[27,519],"University,":[28],"New":[29],"Orleans,":[30],"LA":[31],"from":[32,342],"March":[33],"29":[34],"to":[35,96,116,155,164,209,236,304,383,423,428,446,466,476,490,564,581,609],"April":[36],"1,":[37],"1995.":[38],"papers":[40,212],"in":[41,63,69,173,468,488,603],"this":[42,249,356,443,469,483,532,557],"were":[44,47,317],"reviewed":[45],"or":[46],"solicited":[48],"by":[49,329,592],"Organizers":[51,399,607,634],"Program":[53,253],"Committee":[54,254],"for":[55,245,313,355,369,377,390,400,496,538,612],"meeting.":[57,315,323,471],"is":[59,76,95,137,535],"first":[61],"new":[65,540],"series,":[66,444],"Electronic":[67],"Notes":[68],"Theoretical":[70,142],"Computer":[71,143],"Science":[72,84,144,449],".":[73],"series":[75,94,127,175,403],"published":[77],"electronically":[78],"through":[79],"facilities":[81],"Elsevier":[83,180],"B.V.":[85],"under":[87],"its":[88,158],"auspices.":[89],"aim":[91],"provide":[97],"rapid,":[98],"electronic":[99,159,218],"publication":[100],"conference":[102],"proceedings":[103],"lecture":[106],"notes,":[107],"thematic":[108],"monographs,":[109],"other":[111],"such":[112],"publications":[113],"interest":[115],"theoretical":[118],"computer":[119],"science":[120],"community.":[121],"Managing":[123],"Editors":[124],"are":[128,234,251,257,302,404],"Michael":[129,407,411,545,550],"Mislove,":[130],"Maurice":[131],"Nivat":[132],"Christos":[134],"Papadimitriou.":[135],"ENTCS":[136,166,541],"affiliated":[138],"with":[139,198,600,620],"journal":[141],",":[145],"anyone":[147],"whose":[148],"home":[149],"institution":[150],"has":[151,195,340,623],"a":[152,207,237,392,505,515,536],"paid":[153],"subscription":[154],"TCS":[156],"components":[160],"will":[161,176],"have":[162,205,242,440,513],"access":[163],"archives.":[167],"material":[169],"volumes":[172],"be":[177,188],"available":[178],"via":[179],"Science's":[181],"World":[182],"Wide":[183],"Web":[184],"server,":[185],"which":[186,326,534,621],"can":[187],"accessed":[189],"at":[190],"URL":[192],"http://www.elsevier.nl/locate/entcs":[193],"As":[194,348],"been":[196],"customary":[197],"past":[199],"MFPS":[200,402,562],"Proceedings,":[202],"authors":[204],"had":[206],"chance":[208],"revise":[210],"their":[211,378],"after":[213],"conference,":[215],"version":[219],"revised":[224],"versions":[225],"most":[227],"original":[230],"offerings.":[231],"Some":[232],"thanks":[233,301,426],"due":[235,303],"number":[238],"people":[240],"who":[241,256,308,439,456,481],"provided":[243,457,485],"support":[244,458,487],"conference.":[247],"Among":[248],"group":[250],"members,":[255],"Gerard":[258],"Berry":[259],"(INRIA)":[260],"Luca":[261,388],"Cardelli":[262,389],"(DEC":[263],"SRC)":[264],"Achim":[265],"Jung":[266],"(Darmstadt)":[267],"John":[268,346,385,565,611],"Mitchell":[269,386],"(Stanford)":[270],"Philip":[271,291],"Mulry":[272],"(Colgate)":[273],"Ana":[274],"Pasztor":[275],"(Florida":[276],"International)":[277],"Prakash":[278],"Panangaden":[279],"(McGill)":[280],"Edmund":[281],"Robinson":[282],"(Sussex)":[283],"Pino":[284],"Rosolini":[285],"(Genova)":[286],"Steve":[287,294,330,366,543,593],"Schneider":[288],"(Royal":[289],"Holloway)":[290],"Scott":[292],"(Ottawa)":[293],"Vickers":[295],"(Imperial)":[296],"Glynn":[297],"Winskel":[298],"(Aarhus)":[299],"Also,":[300],"anonymous":[306],"referees":[307],"helped":[309],"review":[310],"submissions":[312],"There":[316],"two":[318],"special":[319,357,393,578],"sessions":[320],"during":[321],"first,":[325],"organized":[328,591],"Brookes":[331,594],"Bob":[333,368,597],"Tennent":[334],"focused":[335],"recent":[337],"research":[338,588,615],"that":[339,459,508,604],"arisen":[341],"work":[344,582],"Reynolds.":[347],"below":[351],"indicates,":[352],"occasion":[354,570],"session":[358,372,394,579],"John's":[360,586],"60th":[361,573],"birthday":[362],"year.":[363],"We":[364,380,555],"thank":[365,384,477],"putting":[370],"together,":[373],"participants":[376,602],"contributions.":[379],"also":[381,474],"wish":[382,422,475],"organizing":[391],"Object-Oriented":[396],"Programming.":[397],"Stephen":[405],"Brookes,":[406,544],"Main,":[408,546],"Austin":[409,547],"Melton,":[410],"Mislove":[412,551],"David":[414],"Schmidt.":[415],"On":[416],"behalf":[417],"participants,":[420],"we":[421,473],"express":[424],"our":[425],"both":[427],"Office":[430],"Naval":[432],"Research,":[433],"especially":[435,452],"Dr.":[436,453],"Ralph":[437],"Wachter,":[438],"generously":[441],"supported":[442],"National":[448],"Foundation,":[450],"Helen":[454],"Gill,":[455],"allowed":[460],"additional":[461],"minority":[462],"members":[463],"women":[465],"participate":[467],"year's":[470],"Lastly,":[472],"Ms.":[478],"Geralyn":[479],"Caradona,":[480],"again":[482],"year":[484],"exemplary":[486],"attending":[489],"all":[491],"details":[493],"arranging":[495],"meeting":[498,510],"needs.":[499],"Without":[500],"her":[501,522],"efforts,":[502],"there":[503],"real":[506],"possibility":[507],"would":[511],"not":[512],"found":[514],"venue":[516],"campus,":[520],"efforts":[523],"extended":[524],"as":[525,527],"far":[526],"designing":[528],"cover":[530],"volume,":[533,558],"template":[537],"series.":[542],"Melton":[548],"(Guest":[552],"Editors)":[553],"dedicate":[556],"XI":[563],"C.":[566],"Reynolds":[567],"his":[572,613],"birthday.":[574],"During":[575],"meeting,":[577],"devoted":[580],"growing":[583],"out":[584],"seminal":[587],"conducted,":[590],"an":[595],"d":[596],"Tennent.":[598],"Along":[599],"session,":[605],"want":[608],"cite":[610],"exceptional":[614],"guiding":[618],"hand":[619],"he":[622],"led":[624],"development":[626],"so":[628],"much":[629],"semantics":[631],"research.":[632]},"counts_by_year":[],"updated_date":"2026-06-21T06:12:48.119943","created_date":"2016-06-24T00:00:00"}