{"id":"https://openalex.org/W4244819363","doi":"https://doi.org/10.1016/s1571-0661(05)80524-9","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-05-01","ids":{"openalex":"https://openalex.org/W4244819363","doi":"https://doi.org/10.1016/s1571-0661(05)80524-9"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80524-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80524-9","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)80524-9","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim Larsen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.48967812,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"68","issue":"5","first_page":"135","last_page":"136"},"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.986299991607666,"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.986299991607666,"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.9848999977111816,"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.9786999821662903,"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.607952356338501},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.5540152788162231},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5173929929733276},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.5093873143196106},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4899443984031677},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.42553505301475525},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12038323283195496},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1120794415473938},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08932340145111084}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.607952356338501},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.5540152788162231},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5173929929733276},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.5093873143196106},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4899443984031677},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.42553505301475525},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12038323283195496},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1120794415473938},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08932340145111084},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"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)80524-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80524-9","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:51617","is_oa":false,"landing_page_url":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/51617","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)80524-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80524-9","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/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1590965489"],"abstract_inverted_index":{"A":[0,440],"large":[1],"class":[2],"of":[3,53,57,69,91,167,201,263,292,315,364,443],"systems":[4,48,223],"can":[5,35],"be":[6],"specified":[7],"and":[8,134,156,174,189,276,288,310,326,333,348],"verified":[9],"by":[10,131,153,242,359],"abstracting":[11],"away":[12],"from":[13,60,185,246],"the":[14,51,67,70,97,138,161,165,199,230,243,261,264,279,306,313,316,339,360,444,450,453],"temporal":[15],"aspects.":[16],"In":[17],"time-critical":[18,47,182,202,208],"systems,":[19,183,209],"instead,":[20],"time":[21,225],"issues":[22,217],"become":[23],"essential.":[24],"Their":[25],"correctness":[26],"depends":[27],"not":[28,227],"only":[29],"on":[30,39,74,85,101,126,148,179,207],"which":[31],"actions":[32],"a":[33,54,252],"system":[34],"perform":[36],"but":[37],"also":[38,213,277,296],"their":[40,45,270,273,350],"execution":[41],"time.":[42],"Due":[43],"to":[44,172,187,191,251,260,278,298,323,344,449],"importance,":[46],"have":[49],"attracted":[50],"attention":[52],"considerable":[55],"number":[56],"computer":[58],"scientists":[59],"various":[61],"research":[62,196],"areas.":[63],"This":[64],"volume":[65,237,356,446],"contains":[66],"Proceedings":[68],"3rd":[71],"International":[72,99],"Workshop":[73],"Models":[75],"for":[76,160,181,215,229,240,254,272,302,312,338,349],"Time-Critical":[77],"Systems":[78],"(MTCS":[79],"2002);":[80],"MTCS":[81,117,141,168,210,346],"2002":[82,88,169,211,330,347],"was":[83,119,143,212,447],"held":[84,106,120,144],"August":[86,111,127,149],"24,":[87,458],"as":[89,267,269],"one":[90],"seven":[92],"satellite":[93],"workshops":[94],"co-located":[95],"with":[96],"13th":[98],"Conference":[100,331],"Concurrency":[102],"Theory":[103],"(CONCUR":[104,329],"2002),":[105],"in":[107,121,145,198,218,222,235,249,354,455],"Brno":[108],"(Czech":[109],"Republic)":[110],"20-23,":[112],"2002.":[113],"The":[114,233,352],"first":[115,162],"workshop,":[116,140],"2000,":[118,129],"State":[122],"College":[123],"(Pennsylvania,":[124],"USA)":[125],"26":[128],"co-chaired":[130,152],"Flavio":[132,154,381],"Corradini":[133,155,382],"Paola":[135],"Inverardi.":[136],"while":[137],"second":[139],"2001,":[142,151],"Aalborg":[146],"(Denmark)":[147],"25,":[150],"Walter":[157,289,435,460],"Vogler.":[158],"As":[159],"two":[163],"workshops,":[164],"objectives":[166],"were":[170,238,357],"(i)":[171],"present":[173],"discuss":[175],"promising":[176],"new":[177],"proposals":[178],"models":[180],"ranging":[184],"theory":[186],"practice":[188],"(ii)":[190],"promote":[192],"interaction":[193],"between":[194],"different":[195],"areas":[197],"field":[200],"systems.":[203],"Despite":[204],"its":[205],"focus":[206],"open":[214],"time-related":[216],"general,":[219],"e.g.":[220],"performance":[221],"where":[224],"is":[226],"critical":[228],"functional":[231],"behaviour.":[232],"papers":[234,353],"this":[236,355],"selected":[239],"presentation":[241],"Program":[244,265],"Committee":[245,266],"submissions":[247],"received":[248],"response":[250],"Call":[253],"Papers.":[255],"Many":[256],"thanks":[257,321],"are":[258],"due":[259],"members":[262],"well":[268],"sub-referees":[271],"accurate":[274],"work,":[275],"invited":[280],"speakers":[281],"P.":[282,429],"S.":[283,430],"Thiagarajan":[284,431],"(Chennai":[285],"Mathematical":[286],"Institute)":[287],"Vogler":[290,436],"(University":[291],"Augsburg).":[293],"We":[294],"would":[295],"like":[297],"thank":[299],"Michael":[300],"Mislove":[301],"his":[303],"help":[304],"during":[305],"proceedings":[307],"editorial":[308],"process":[309],"BRICS":[311],"publication":[314],"preliminary":[317],"proceedings.":[318],"Finally,":[319],"our":[320],"go":[322],"Petr":[324],"Jancar":[325],"Mojmir":[327],"Kretinsky":[328],"Chairs)":[332],"Antonin":[334],"Kucera":[335],"(Workshops":[336],"Coordinator)":[337],"opportunity":[340],"they":[341],"gave":[342],"us":[343],"organize":[345],"support.":[351],"reviewed":[358],"program":[361],"committee":[362],"consisting":[363],"Rajeev":[365],"Alur":[366],"(":[367,372,378,383,388,393,399,405,410,415,421,426,432,437],"USA":[368,422],")":[369,374,380,385,390,396,402,407,412,418,423,428,434,439],"Jos":[370],"Baeten":[371],"Netherlands":[373,379],"Frank":[375],"de":[376],"Boer":[377],"Italy":[384,406],"Kim":[386,462],"Larsen":[387,463],"Denmark":[389],"Gerald":[391],"L\u00fcttgen":[392],"United":[394,400,416],"Kingdom":[395,401,417],"Jeff":[397],"Magee":[398],"Andrea":[403],"Maggiolo-Schettini":[404],"Paul":[408],"Pettersson":[409],"Sweden":[411],"Steve":[413],"Schneider":[414],"Bran":[419],"Selic":[420],"Joseph":[424],"Sifakis":[425],"France":[427],"India":[433],"Germany":[438],"printed":[441],"version":[442],"current":[445],"distributed":[448],"participants":[451],"at":[452],"workshop":[454],"Brno.":[456],"April":[457],"2003":[459],"Vogler,":[461]},"counts_by_year":[],"updated_date":"2026-06-21T06:12:48.119943","created_date":"2022-05-12T00:00:00"}