{"id":"https://openalex.org/W4244522528","doi":"https://doi.org/10.1016/s1571-0661(05)80575-4","title":"Preface","display_name":"Preface","publication_year":2002,"publication_date":"2002-05-01","ids":{"openalex":"https://openalex.org/W4244522528","doi":"https://doi.org/10.1016/s1571-0661(05)80575-4"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80575-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80575-4","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)80575-4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078426900","display_name":"Flavio Corradini","orcid":"https://orcid.org/0000-0001-6767-2184"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Flavio Corradini","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5068573305","display_name":"Walter Vogler","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Walter Vogler","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078426900"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.44601133,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"52","issue":"3","first_page":"323","last_page":"324"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9890000224113464,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9890000224113464,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9732000231742859,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9629999995231628,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6736849546432495},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.5742607116699219},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5412582159042358},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.5360437035560608},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5174639821052551},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4666552245616913},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.43045851588249207},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1469089686870575},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10361987352371216},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09553277492523193},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.08657190203666687}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6736849546432495},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.5742607116699219},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5412582159042358},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.5360437035560608},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5174639821052551},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4666552245616913},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.43045851588249207},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1469089686870575},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10361987352371216},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09553277492523193},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.08657190203666687},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s1571-0661(05)80575-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80575-4","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:uni-augsburg.opus-bayern.de:51620","is_oa":false,"landing_page_url":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/51620","pdf_url":null,"source":{"id":"https://openalex.org/S4306400930","display_name":"OPUS (Augsburg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119916105","host_organization_name":"Augsburg University","host_organization_lineage":["https://openalex.org/I119916105"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80575-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80575-4","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.41999998688697815,"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/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W1508895727","https://openalex.org/W4241418540","https://openalex.org/W2725786787","https://openalex.org/W4283160672"],"abstract_inverted_index":{"A":[0,408],"large":[1],"class":[2,20],"of":[3,21,69,73,85,107,158,191,259,292,342,377,393,411],"systems":[4,22,64],"can":[5,51,272],"be":[6,236,273],"specified":[7],"and":[8,149,179,263,302,309,325,338,371],"verified":[9],"by":[10,146,219,284,388],"abstracting":[11],"away":[12],"from":[13,76,175,223],"the":[14,19,26,30,67,83,86,113,156,165,189,220,242,257,269,276,282,285,316,340,343,367,375,378,389,412,418,421],"temporal":[15],"aspects.":[16],"This":[17,80,233,251],"is":[18,253,415],"where":[23],"time":[24,37],"affects":[25],"performance":[27],"but":[28,53],"not":[29,44],"functional":[31],"behaviour.":[32],"In":[33],"time-critical":[34,63,172,192,198],"systems,":[35,173,199],"instead,":[36],"issues":[38],"become":[39],"essential.":[40],"Their":[41],"correctness":[42],"depends":[43],"only":[45],"on":[46,55,90,101,117,141,169,197],"which":[47],"actions":[48],"a":[49,70,229],"system":[50],"perform":[52],"also":[54,203,357],"their":[56,61,327,349,352],"execution":[57],"time.":[58],"Due":[59],"to":[60,163,177,181,228,297,321,333,339,359,372,417],"importance,":[62],"have":[65],"attracted":[66],"attention":[68],"considerable":[71],"number":[72],"computer":[74],"scientists":[75],"various":[77],"research":[78,186],"areas.":[79],"volume":[81,214,234,239,280,385,414],"contains":[82],"Proceedings":[84],"2nd":[87],"International":[88,115],"Workshop":[89],"Models":[91],"for":[92,153,171,205,217,231,315,326,351,363,374],"Time-Critical":[93],"Systems":[94],"(MTCS":[95],"2001);":[96],"MTCS":[97,132,154,159,200,323],"2001":[98,104,160,201,306,324],"was":[99,134,202],"held":[100,122,135],"25":[102],"August":[103,127,143],"as":[105,238,346,348],"one":[106],"five":[108],"satellite":[109],"workshops":[110],"co-located":[111],"with":[112],"12th":[114],"Conference":[116,307],"Concurrency":[118],"Theory":[119],"(CONCUR":[120,305],"2001),":[121],"in":[123,136,188,212,226,241,246,268,383,423],"Aalborg":[124],"(Denmark)":[125],"21-24":[126],"2001.":[128],"The":[129,210,266,279,381],"first":[130],"workshop,":[131],"2000,":[133,144,155],"State":[137],"College":[138],"(Pennsylvania,":[139],"USA)":[140],"26":[142],"co-chaired":[145],"Flavio":[147,428],"Corradini":[148],"Paola":[150],"Inverardi.":[151],"As":[152],"objectives":[157],"were":[161,215,386],"(i)":[162],"validate":[164],"more":[166,206],"promising":[167],"proposals":[168],"models":[170],"ranging":[174],"theory":[176],"practice":[178],"(ii)":[180],"promote":[182],"interaction":[183],"between":[184],"different":[185],"areas":[187],"field":[190],"systems.":[193],"Despite":[194],"its":[195,264],"focus":[196],"open":[204],"general":[207],"time-related":[208],"issues.":[209],"papers":[211,382],"this":[213,384],"selected":[216],"presentation":[218],"Program":[221,344],"Committee":[222,345],"submissions":[224],"received":[225],"response":[227],"Call":[230],"Papers.":[232],"will":[235],"published":[237,254],"52":[240],"series":[243,252,271],"Electronic":[244],"Notes":[245],"Theoretical":[247],"Computer":[248],"Science":[249,261],"(ENTCS).":[250],"electronically":[255],"through":[256],"facilities":[258],"Elsevier":[260],"B.V.":[262],"auspices.":[265],"volumes":[267],"ENTCS":[270],"accessed":[274],"at":[275,420],"URL":[277],"http://www.elsevier.nl/locate/entcs":[278],"includes":[281],"contribution":[283],"Invited":[286],"Speaker":[287],"Jos":[288,334],"Baeten":[289,335],"(Eindhoven":[290],"University":[291],"Technology).":[293],"We":[294,355],"would":[295,356],"like":[296,358],"thank":[298,360],"Kim":[299],"G.":[300],"Larsen":[301],"Mogens":[303],"Nielsen":[304],"Chairs)":[308],"Hans":[310],"Huttel":[311],"(Satellite":[312],"Workshops":[313],"Chair)":[314],"opportunity":[317],"they":[318],"gave":[319],"us":[320],"organize":[322],"support.":[328],"Many":[329],"thanks":[330],"are":[331],"due":[332],"(Invited":[336],"Speaker),":[337],"members":[341],"well":[347],"sub-referees":[350],"accurate":[353],"work.":[354],"Michael":[361],"Mislove":[362],"his":[364],"help":[365],"during":[366],"proceedings":[368],"editorial":[369],"process":[370],"BRICS":[373],"publication":[376],"preliminary":[379],"proceedings.":[380],"reviewed":[387],"program":[390],"committee":[391],"consisting":[392],"Rajeev":[394],"Alur(USA)Jos":[395],"Baeten(NL)Frank":[396],"de":[397],"Boer(NL)Flavio":[398],"Corradini(IT)Paola":[399],"Inverardi(IT)Jeff":[400],"Kramer(UK)Gerald":[401],"Luettgen(UK)Jeff":[402],"Magee(UK)Andrea":[403],"Maggiolo-Schettini(IT)Bran":[404],"Selic(CA)Joseph":[405],"Sifakis(FR)Walter":[406],"Vogler(DE)":[407],"printed":[409],"version":[410],"current":[413],"distributed":[416],"participants":[419],"workshop":[422],"Aalborg.":[424],"May":[425],"7,":[426],"2002":[427],"Corradini,":[429],"Walter":[430],"Vogler":[431]},"counts_by_year":[],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2022-05-12T00:00:00"}