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