{"id":"https://openalex.org/W90460609","doi":"https://doi.org/10.1016/s1571-0661(05)80290-7","title":"Preface","display_name":"Preface","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W90460609","doi":"https://doi.org/10.1016/s1571-0661(05)80290-7","mag":"90460609"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80290-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80290-7","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)80290-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000984497","display_name":"Ilaria Castellani","orcid":"https://orcid.org/0000-0001-9820-0892"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ilaria Castellani","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5005634871","display_name":"Bj\u00f6rn Victor","orcid":"https://orcid.org/0000-0003-0174-9032"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bj\u00f6rn Victor","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.01431112,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"27","issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9911999702453613,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9911999702453613,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9857000112533569,"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/T10142","display_name":"Formal Methods in Verification","score":0.9833999872207642,"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/concurrency","display_name":"Concurrency","score":0.7138784527778625},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5837424397468567},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5329260230064392},{"id":"https://openalex.org/keywords/attendance","display_name":"Attendance","score":0.518281877040863},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4821852743625641},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.43612784147262573},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42082807421684265},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.10180017352104187}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7138784527778625},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5837424397468567},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5329260230064392},{"id":"https://openalex.org/C2778173179","wikidata":"https://www.wikidata.org/wiki/Q25339289","display_name":"Attendance","level":2,"score":0.518281877040863},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4821852743625641},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.43612784147262573},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42082807421684265},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.10180017352104187},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80290-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80290-7","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)80290-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80290-7","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2132799268","https://openalex.org/W1538101305","https://openalex.org/W1529681579","https://openalex.org/W1745255672","https://openalex.org/W2355319912","https://openalex.org/W2391570358"],"abstract_inverted_index":{"This":[0],"volume":[1],"contains":[2],"the":[3,7,32,46,54,63,97,113,121,198,217,229,253,282,285,288,291,294,305,324,334,337],"Proceedings":[4],"of":[5,56,81,99,112,216,241,252,284,293,336,382],"EXPRESS'99,":[6],"sixth":[8],"International":[9],"Workshop":[10],"on":[11,23,62,96],"Expressiveness":[12],"in":[13,19,45,53,137,164,169,220,234,248],"Concurrency.":[14,57],"The":[15,21,36,104,130,162,200],"workshop":[16,163,215],"was":[17,118,174,182,210,226],"held":[18,109,135,211],"Eindhoven,":[20],"Netherlands,":[22],"23":[24],"August":[25],"1999,":[26],"as":[27,69,84,110,184,212],"a":[28,185,188,193,213],"satellite":[29,214],"event":[30,89],"to":[31,280,303,314],"CONCUR":[33,230],"'99":[34],"conference.":[35],"EXPRESS":[37,105],"workshops":[38,106,133],"aim":[39],"at":[40],"bringing":[41],"together":[42],"researchers":[43],"interested":[44],"relations":[47],"between":[48,65,78],"various":[49],"formal":[50],"systems,":[51],"particularly":[52],"field":[55],"More":[58],"specifically,":[59],"they":[60],"focus":[61,123],"comparison":[64],"programming":[66],"concepts":[67],"(such":[68,83],"concurrent,":[70],"functional,":[71],"imperative,":[72],"logic":[73],"and":[74,77,151,158,173,179,192,207,270,297,307,327,403],"object-oriented":[75],"programming)":[76],"mathematical":[79],"models":[80],"computation":[82],"process":[85],"algebras,":[86],"Petri":[87],"nets,":[88],"structures,":[90],"modal":[91],"logics,":[92],"rewrite":[93],"systems":[94],"etc.)":[95],"basis":[98],"their":[100,298,301,320],"relative":[101],"expressive":[102],"power.":[103],"were":[107,134],"originally":[108],"meetings":[111],"HCM":[114],"project":[115],"EXPress":[116],"which":[117,166,242],"active":[119],"with":[120,187,323,333],"same":[122],"from":[124,196],"January":[125],"1994":[126],"till":[127],"December":[128],"1997.":[129],"first":[131],"three":[132],"respectively":[136],"Amsterdam":[138],"(1994,":[139],"chaired":[140,146],"by":[141,147,155,176,204,228,264],"Frits":[142],"Vaandrager),":[143],"Tarquinia":[144],"(1995,":[145],"Rocco":[148,159],"De":[149,160],"Nicola),":[150],"Dagstuhl":[152],"(1996,":[153],"co-chaired":[154,175,203],"Ursula":[156],"Goltz":[157],"Nicola).":[161],"1997,":[165],"took":[167],"place":[168],"Santa":[170],"Margherita":[171],"Ligure":[172],"Catuscia":[177,208,395],"Palamidessi":[178,396],"Joachim":[180],"Parrow,":[181],"organized":[183],"conference":[186,219],"call":[189],"for":[190,246,300,319,330],"papers":[191],"significant":[194],"attendance":[195],"outside":[197],"project.":[199],"1998":[201],"workshop,":[202],"Ilaria":[205,342,401],"Castellani":[206,343,402],"Palamidessi,":[209],"CONCUR'98":[218],"Nice.":[221],"Like":[222],"last":[223],"year,":[224],"EXPRESS'99":[225,339],"hosted":[227],"conference,":[231],"this":[232,308],"year":[233],"Eindhoven.":[235],"We":[236,258,277,310],"had":[237,260],"16":[238],"submissions,":[239],"out":[240],"we":[243],"selected":[244,254],"9":[245],"inclusion":[247],"these":[249],"proceedings.":[250,338],"Two":[251],"contributions":[255],"are":[256],"abstracts.":[257],"also":[259,311],"two":[261],"invited":[262,289],"talks,":[263],"Prakash":[265],"Panangaden":[266],"(McGill":[267],"University,":[268,351,366,372,399],"CA)":[269],"Roberto":[271],"Amadio":[272],"(Universitacute":[273],"de":[274],"Provence,":[275],"FR).":[276],"would":[278,312],"like":[279,313],"thank":[281,315],"authors":[283],"submitted":[286],"papers,":[287],"speakers,":[290],"members":[292],"program":[295],"committee":[296],"sub-referees":[299],"contribution":[302],"both":[304],"meeting":[306],"volume.":[309],"Eindhoven":[316],"Technical":[317],"University":[318],"excellent":[321],"help":[322,332],"local":[325],"organization,":[326],"Michael":[328],"Mislove":[329],"his":[331],"editing":[335],"Programme":[340],"Committe":[341],"(co-chair,":[344],"INRIA":[345],"Sophia-Antipolis,":[346],"FR)":[347,361],"Bj\u00f6rn":[348,404],"Victor":[349],"(Uppsala":[350],"SE)":[352],"Luca":[353],"Aceto":[354],"(BRICS,":[355,393],"DK)":[356,394],"Eric":[357],"Badouel":[358],"(INRIA":[359],"Rennes,":[360],"Steve":[362],"Brookes":[363],"(Carnegie":[364],"Mellon":[365],"US)":[367,373,400],"Rob":[368],"van":[369],"Glabbeek":[370],"(Stanford":[371],"Astrid":[374],"Kiehn":[375],"(TU":[376],"M\u00fcnchen,":[377],"DE)":[378],"Marta":[379],"Kwiatkowska":[380],"(University":[381],"Birmingham,":[383],"UK)":[384],"Ugo":[385],"Montanari":[386],"(Universit\u00e0":[387],"di":[388],"Pisa,":[389],"IT)":[390],"Uwe":[391],"Nestmann":[392],"(Penn":[397],"State":[398],"Victor,":[405],"Guest":[406],"Editors":[407]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-20T20:08:15.867695","created_date":"2016-06-24T00:00:00"}