{"id":"https://openalex.org/W45257404","doi":"https://doi.org/10.1016/s1571-0661(05)80461-x","title":"Foreword","display_name":"Foreword","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W45257404","doi":"https://doi.org/10.1016/s1571-0661(05)80461-x","mag":"45257404"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80461-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80461-x","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)80461-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090842450","display_name":"Catuscia Palamidessi","orcid":"https://orcid.org/0000-0003-4597-7002"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Catuscia Palamidessi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5042834681","display_name":"Joachim Parrow","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joachim Parrow","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090842450"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01017844,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.987500011920929,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.987500011920929,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9740999937057495,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9606000185012817,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.6720574498176575},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5614784955978394},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5311694741249084},{"id":"https://openalex.org/keywords/programming-language-theory","display_name":"Programming language theory","score":0.4316118061542511},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.37649574875831604},{"id":"https://openalex.org/keywords/fifth-generation-programming-language","display_name":"Fifth-generation programming language","score":0.3273158669471741}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6720574498176575},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5614784955978394},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5311694741249084},{"id":"https://openalex.org/C18701968","wikidata":"https://www.wikidata.org/wiki/Q2670534","display_name":"Programming language theory","level":4,"score":0.4316118061542511},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.37649574875831604},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.3273158669471741}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80461-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80461-x","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)80461-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80461-x","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/17","display_name":"Partnerships for the goals","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1973795410","https://openalex.org/W1024151587","https://openalex.org/W2010145286","https://openalex.org/W2094055450","https://openalex.org/W4252923434","https://openalex.org/W2999858054","https://openalex.org/W2954318817","https://openalex.org/W4313289351","https://openalex.org/W2026235588","https://openalex.org/W1965248040"],"abstract_inverted_index":{"One":[0],"of":[1,6,12,20,28,35,68,100,117,134,143,147,151,155,160,165,169,175,179,189,201,243,315,339,346,386,393],"the":[2,10,16,33,51,69,98,115,138,141,145,149,153,157,163,167,173,177,187,195,198,207,212,217,230,238,258,263,276,279,316,324,331,334,337,340,344,347,355,371,381],"main":[3],"research":[4,30],"objectives":[5],"computer":[7],"science":[8],"is":[9,32],"development":[11],"formal":[13,74,125],"methods":[14],"for":[15,76,127,224,272,350,368,377],"design":[17,129],"and":[18,50,58,71,85,95,121,130,186,216,311,343,357,374],"implementation":[19],"concurrent":[21,118],"programming":[22,36,80,93,119],"languages.":[23],"A":[24],"most":[25],"prominent":[26],"feature":[27],"this":[29,358],"area":[31],"proliferation":[34],"concepts":[37,94],"arising":[38],"from":[39,79,262,274,285],"imperative":[40],"programming,":[41,43,45,47,49],"logic":[42],"functional":[44],"object-oriented":[46],"constraint":[48],"various":[52],"formalizations":[53],"thereof.":[54],"The":[55,105,132,221,241],"Human":[56],"Capital":[57],"Mobility":[59],"project":[60,110,196,222,231],"EXPRESS":[61,135,265,332],"has":[62],"aimed":[63],"at":[64,204,209,234,246],"a":[65,124,235,269,321],"general":[66,270],"understanding":[67],"interconnections":[70],"relations":[72],"between":[73],"systems":[75,84],"concurrency,":[77],"ranging":[78],"languages":[81],"to":[82,194,257,323,329,353,364],"axiom":[83],"rewrite":[86],"systems.":[87],"More":[88],"specifically,":[89],"we":[90,267,281,294],"have":[91,136],"compared":[92],"formalisms":[96],"on":[97],"basis":[99,126],"their":[101,128,351],"relative":[102],"expressive":[103],"power.":[104],"results":[106],"obtained":[107],"in":[108,290],"our":[109],"are":[111,288],"steps":[112],"towards":[113],"classifying":[114],"variety":[116],"languages,":[120],"may":[122],"provide":[123],"implementation.":[131],"partners":[133,192,232],"been":[137],"CWI":[139],"(Amsterdam),":[140],"University":[142,146,150,154,164,168,174,178,188,200,208,219,385],"Utrecht,":[144],"Florence,":[148],"Aalborg,":[152],"Nijmegen,":[156],"Swedish":[158],"Institute":[159,214,392],"Computer":[161],"Science,":[162],"Genoa,":[166],"Rome":[170],"\u201cLa":[171],"Sapienza\u201d,":[172],"Hildesheim,":[176],"Amsterdam,":[180],"INRIA":[181,184],"Sophia":[182],"Antipolis,":[183],"Rennes,":[185],"Sussex.":[190],"External":[191],"associated":[193],"were":[197],"State":[199],"New":[202],"York":[203],"Stony":[205],"Brook,":[206],"Cornell":[210],"(USA),":[211],"Weizmann":[213],"(Israel)":[215],"McGill":[218],"(Canada).":[220],"ran":[223],"four":[225],"years":[226],"1993-1997.":[227],"Each":[228],"year":[229],"met":[233],"workshop,":[236],"disseminating":[237],"latest":[239],"results.":[240],"last":[242],"these,":[244],"EXPRESS'97":[245,397],"Santa":[247],"Margherita":[248],"Ligure,":[249],"Italy,":[250],"8-12":[251],"September":[252],"1997,":[253],"was":[254],"also":[255,319,361],"open":[256],"scientific":[259],"community.":[260],"Apart":[261],"ordinary":[264],"presentations":[266],"had":[268,295],"call":[271],"papers":[273,284],"outside":[275],"project.":[277],"Among":[278],"submissions":[280],"selected":[282],"13":[283],"presentation,":[286],"which":[287],"collected":[289],"these":[291],"proceedings.":[292,325,382],"Additionally":[293],"7":[296],"invited":[297,317,335],"speakers:":[298],"Ralph":[299],"Back,":[300],"Jean-Jacques":[301],"Levy,":[302],"Eugenio":[303],"Moggi,":[304],"Ugo":[305],"Montanari,":[306],"Amir":[307],"Pnueli,":[308],"Vaughan":[309],"Pratt,":[310],"Colin":[312],"Stirling.":[313],"Some":[314],"speakers":[318],"offered":[320],"contribution":[322,352],"We":[326,360],"would":[327,362],"like":[328,363],"thank":[330,365],"members,":[333],"speakers,":[336],"authors":[338],"submitted":[341],"papers,":[342],"members":[345],"program":[348],"committee":[349],"both":[354],"meeting":[356],"volume.":[359],"Elisabetta":[366],"Ferrando":[367],"help":[369,379],"with":[370,380],"local":[372],"organization":[373],"Michael":[375],"Mislove":[376],"editorial":[378],"Catuscia":[383,428],"Palamidessi,":[384],"Genova,":[387],"Italy":[388],"Joachim":[389,431],"Parrow,":[390],"Royal":[391],"Technology,":[394],"Stockholm,":[395],"Sweden":[396],"Programme":[398],"Committee":[399],"Luca":[400],"Aceto":[401],"(Aalborg)":[402],"Eike":[403],"Best":[404],"(Oldenburg)":[405],"Frank":[406],"de":[407],"Boer":[408],"(Utrecht)":[409],"Ilaria":[410],"Castellani":[411],"(Sophia":[412],"Antipolis)":[413],"Philippe":[414],"Darondeau":[415],"(Rennes)":[416],"Rocco":[417],"De":[418],"Nicola":[419],"(Florence)":[420],"Ursula":[421],"Goltz":[422],"(Hildesheim)":[423],"Jan":[424],"Willem":[425],"Klop":[426],"(CWI)":[427],"Palamidessi":[429],"(co-chair)(Genoa)":[430],"Parrow":[432],"(co-chair)(Stockholm)":[433],"Frits":[434],"Vaandrager":[435],"(Nijmegen)":[436]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}