{"id":"https://openalex.org/W47347134","doi":"https://doi.org/10.1016/s1571-0661(05)82525-3","title":"Preface","display_name":"Preface","publication_year":2004,"publication_date":"2004-04-01","ids":{"openalex":"https://openalex.org/W47347134","doi":"https://doi.org/10.1016/s1571-0661(05)82525-3","mag":"47347134"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)82525-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)82525-3","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)82525-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072444101","display_name":"Fabio Gadducci","orcid":"https://orcid.org/0000-0003-0690-3051"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fabio Gadducci","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5061468940","display_name":"Ugo Montanari","orcid":"https://orcid.org/0000-0002-6204-8670"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ugo Montanari","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5072444101"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00523722,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"71","issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9965000152587891,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9965000152587891,"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.9886999726295471,"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/T11567","display_name":"semigroups and automata theory","score":0.9800000190734863,"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/rewriting","display_name":"Rewriting","score":0.8038820028305054},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7958182096481323},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7067093849182129},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7062277793884277},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6559756994247437},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.510190486907959},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4139457941055298},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33602267503738403}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8038820028305054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7958182096481323},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7067093849182129},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7062277793884277},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6559756994247437},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.510190486907959},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4139457941055298},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33602267503738403},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s1571-0661(05)82525-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)82525-3","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"},{"id":"pmh:oai:arpi.unipi.it:11568/69690","is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/69690","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)82525-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)82525-3","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W57206970","https://openalex.org/W3196191855","https://openalex.org/W1950785758","https://openalex.org/W4235091896","https://openalex.org/W2023896637","https://openalex.org/W1991936877","https://openalex.org/W2065513458","https://openalex.org/W1524094939","https://openalex.org/W1755464305","https://openalex.org/W1965724121"],"abstract_inverted_index":{"The":[0,79,243,279,471],"Fourth":[1],"International":[2],"Workshop":[3],"on":[4,16,72,144,397,414],"Rewriting":[5,20,95],"logic":[6,21],"and":[7,29,38,51,68,77,100,122,138,165,171,178,239,270,277,295,334,400,416,419,458,482,493,520],"Its":[8],"Applications":[9],"(WRLA2002)":[10],"was":[11],"held":[12],"in":[13,53,94,113,127,332,452,467],"Pisa,":[14,448,531],"Italy":[15],"September":[17,533],"19-21,":[18],"2002.":[19],"(RL)":[22],"is":[23,85,109,248],"a":[24,46,63,91,148,218,504],"natural":[25],"model":[26],"of":[27,49,81,105,140,152,169,186,200,213,227,245,259,266,283,293,309,403,425,435,447,455,475,484,491,507,511,513,521,529],"computation":[28],"an":[30],"expressive":[31],"semantic":[32],"framework":[33,64],"for":[34,44,65,263,394,410,429,449,464],"concurrency,":[35],"parallelism,":[36],"communication":[37],"interaction.":[39],"It":[40,57],"has":[41,59],"been":[42,75],"used":[43],"specifying":[45],"wide":[47],"range":[48],"systems":[50],"languages":[52,70,114,142,170],"various":[54],"application":[55],"fields.":[56],"also":[58,389,442],"good":[60],"properties":[61],"as":[62,147,348,350,486,488],"representing":[66],"logics,":[67],"several":[69],"based":[71,143],"RL":[73,146,153,187],"have":[74,503],"designed":[76],"implemented.":[78],"aim":[80],"the":[82,103,106,128,197,201,205,225,231,246,251,256,260,264,267,275,336,344,401,404,412,426,433,436,445,453,456,480,489,498,508,522],"workshop":[83,107,129,247,477],"series":[84,108],"to":[86,117,182,224,343,351,391,407,420,444,459,502],"bring":[87],"together":[88],"researchers":[89],"with":[90,188,432],"common":[92],"interest":[93],"Logic.":[96],"Besides":[97],"logic,":[98],"semantics":[99],"foundational":[101],"aspects,":[102],"emphasis":[104],"upon":[110],"applications":[111,151],"developed":[112],"tightly":[115],"related":[116],"RL,":[118,512],"like":[119],"CafeOBJ,":[120],"ELAN":[121],"Maude.":[123],"Research":[124],"topics":[125],"covered":[126],"include,":[130],"but":[131],"are":[132,340,388,441],"not":[133],"limited":[134],"to:":[135,154],"foundations,":[136],"models,":[137],"extensions":[139],"RL;":[141,145],"logical":[149],"framework;":[150],"object-oriented":[155],"systems;":[156,160,167,172],"concurrent":[157],"and/or":[158],"parallel":[159],"interactive,":[161],"distributed,":[162],"open":[163],"ended":[164],"mobile":[166],"specification":[168],"distributed":[173],"transactions;":[174],"secure":[175],"protocol":[176],"specifications":[177],"verification;":[179],"rewriting":[180],"approaches":[181],"behavioral":[183],"specifications;":[184],"comparisons":[185],"existing":[189],"formalisms":[190],"having":[191],"analogous":[192],"aims.":[193],"This":[194],"volume":[195],"contains":[196],"final":[198],"versions":[199],"papers":[202,209],"presented":[203,273],"at":[204,250,311],"workshop.":[206],"Around":[207],"20":[208],"were":[210,215],"submitted,":[211],"12":[212],"them":[214],"selected":[216],"after":[217],"regular":[219],"refereeing":[220],"process.":[221],"In":[222,254],"addition":[223],"presentation":[226],"original":[228],"research":[229,524],"results,":[230],"program":[232,261],"includes":[233],"3":[234],"invited":[235],"lectures,":[236],"4":[237,240],"tutorials,":[238],"system":[241],"demonstrations.":[242],"site":[244],"reachable":[249],"URL":[252],"http://www.di.unipi.it/wrla2002/.":[253],"particular,":[255],"www.di.unipi.it/wrla2002/program.html":[257],"page":[258],"allows":[262],"downloading":[265],"material":[268],"(slides":[269],"possibly":[271],"code)":[272],"during":[274],"demos":[276],"tutorials.":[278],"Program":[280,345],"Committee":[281,346],"consisted":[282],"David":[284],"Basin(Albert-Ludwigs-Universit\u00e4t":[285],"Freiburg),Jos\u00e9":[286],"Fiadeiro(Universidade":[287],"de":[288,306],"Lisboa),Kokichi":[289],"Futatsugi(Japan":[290],"Advanced":[291],"Institute":[292],"Science":[294],"Technology),Fabio":[296],"Gadducci(Universit\u00e0":[297],"di":[298,314],"Pisa),Claude":[299],"Kirchner(INRIA":[300],"Lorraine":[301,318],"&":[302,319,322,536],"LORIA),Narciso":[303],"Mart\u00ed-Oliet(Universidad":[304],"Complutense":[305],"Madrid),Jos\u00e9":[307],"Meseguer(University":[308],"Illinois":[310],"Urbana-Champaign),Ugo":[312],"Montanari(Universit\u00e0":[313],"Pisa;":[315],"chair),Pierre-Etienne":[316],"Moreau(INRIA":[317],"LORIA),Peter":[320],"Mosses(BRICS":[321],"Aarhus":[323],"Universitet),Carolyn":[324],"Talcott(Stanford":[325],"University),Martin":[326],"Wirsing(Ludwig-Maximilians-Universit\u00e4t":[327],"M\u00fcnchen).":[328],"For":[329],"their":[330,494],"help":[331,396,466],"reviewing":[333],"selecting":[335],"submitted":[337],"papers,":[338],"we":[339],"very":[341],"grateful":[342],"members,":[347],"well":[349,487],"Stefano":[352],"Bistarelli,":[353],"Laura":[354],"Bocchi,":[355],"Roberto":[356,392],"Bruni,":[357,393],"Paolo":[358],"Ciancarini,":[359],"Horatiu":[360],"Cirstea,":[361],"Isabelle":[362],"Gnaedig,":[363],"Felix":[364],"Klaedtke,":[365],"Alexander":[366],"Knapp,":[367],"Piotr":[368],"Kosiuczenko,":[369],"Marta":[370],"Kwiatkowska,":[371],"Kim":[372],"Larsen,":[373],"Fabio":[374],"Martinelli,":[375],"Stephan":[376],"Merz,":[377],"Marino":[378],"Miculan,":[379],"Masaki":[380],"Nakamura,":[381],"Kazuhiro":[382],"Ogata,":[383],"Nguyen":[384],"Quang":[385],"Huy.":[386],"We":[387,496],"indebted":[390],"his":[395,430],"organizational":[398],"matters":[399],"maintenance":[402],"web":[405],"pages;":[406],"Narciso":[408],"Mart\u00ed-Oliet,":[409],"chairing":[411],"section":[413],"Tutorials":[415],"System":[417],"Demonstrations;":[418],"Mike":[421],"Mislove,":[422],"Managing":[423],"Editor":[424],"ENTCS":[427,437],"series,":[428],"assistance":[431],"use":[434],"style":[438],"files.":[439],"Thanks":[440],"due":[443],"University":[446],"its":[450,465],"support":[451],"organization":[454],"workshop;":[457],"SEU":[460],"(Servizio":[461],"Editoriale":[462],"Universitario),":[463],"preparing":[468],"this":[469],"volume.":[470],"most":[472,514],"important":[473],"results":[474,516],"any":[476],"should":[478],"be":[479],"fostering":[481],"establishing":[483],"collaborations,":[485],"sharing":[490],"techniques":[492],"cross-fertilization.":[495],"hope":[497],"meeting":[499],"helped":[500],"participants":[501],"panoramic":[505],"view":[506],"current":[509],"status":[510],"recent":[515],"carried":[517],"out":[518],"worldwide,":[519],"future":[523],"directions":[525],"that":[526],"lies":[527],"ahead":[528],"us.":[530],"16":[532],"2003Fabio":[534],"Gadducci":[535],"Ugo":[537],"Montanari":[538]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}