Matches in SemOpenAlex for { <https://semopenalex.org/work/W4231651520> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4231651520 endingPage "483" @default.
- W4231651520 startingPage "483" @default.
- W4231651520 abstract "This issue contains the Proceedings of the First International Workshop on Parallel and Distributed Model Checking (PDMC 2002) held in Brno, Czech Republic, August 19, 2002 as a satellite event to the 13th International Conference on Concurrency Theory (CONCUR 2002). The aim of the PDMC 2002 workshop was to cover all aspects of parallel and distributed model checking and supporting techniques. The mission was on one side to introduce people to the field of parallel and distributed model checking and on the other side to be a working forum for describing new research building thus the relationship between people working in the area of parallel and distributed approaches to the verification of large-scale systems and to encourage cross-fertilization of ideas. The workshop programme consisted of: 2 invited talks, respectively by Moshe Vardi on Model Checking: A Complexity-Theoretic Perspective and by Orna Grumberg on Different directions in parallel and distributed model checking, 8 regular presentations, and 5 short presentations. The proceedings contains the regular papersonly. The regular papers and short presentations have been accepted by the following programme committee: Lubos Brim (MU Brno, Czech Republic) - Co-chair Gianpiero Cabodi (Torino, Italy) Hubert Garavel (INRIA, France) Orna Grumberg (Technion, Israel) - Co-chair Boudewijn R. Haverkort (Aachen, Germany) Kim Larsen (BRICS Aalborg, Denmark) Rajeev Ranjan (Real Intent, USA) We would like to thank very much to all members of the programme committee for nice cooperation and for detailed reports and comments and to all the authors for their contributions. For online-information see http://www.fi.muni.cz/concur2002/PDMC/. August 19, 2002Lubos BrimOrna Grumberg" @default.
- W4231651520 created "2022-05-12" @default.
- W4231651520 creator A5001461435 @default.
- W4231651520 creator A5043936415 @default.
- W4231651520 date "2002-10-01" @default.
- W4231651520 modified "2023-09-27" @default.
- W4231651520 title "Preface" @default.
- W4231651520 doi "https://doi.org/10.1016/s1571-0661(05)80385-8" @default.
- W4231651520 hasPublicationYear "2002" @default.
- W4231651520 type Work @default.
- W4231651520 citedByCount "0" @default.
- W4231651520 crossrefType "journal-article" @default.
- W4231651520 hasAuthorship W4231651520A5001461435 @default.
- W4231651520 hasAuthorship W4231651520A5043936415 @default.
- W4231651520 hasBestOaLocation W42316515201 @default.
- W4231651520 hasConcept C138885662 @default.
- W4231651520 hasConcept C161191863 @default.
- W4231651520 hasConcept C193702766 @default.
- W4231651520 hasConcept C199360897 @default.
- W4231651520 hasConcept C202444582 @default.
- W4231651520 hasConcept C2777842544 @default.
- W4231651520 hasConcept C33923547 @default.
- W4231651520 hasConcept C41008148 @default.
- W4231651520 hasConcept C41895202 @default.
- W4231651520 hasConcept C42475967 @default.
- W4231651520 hasConcept C9652623 @default.
- W4231651520 hasConceptScore W4231651520C138885662 @default.
- W4231651520 hasConceptScore W4231651520C161191863 @default.
- W4231651520 hasConceptScore W4231651520C193702766 @default.
- W4231651520 hasConceptScore W4231651520C199360897 @default.
- W4231651520 hasConceptScore W4231651520C202444582 @default.
- W4231651520 hasConceptScore W4231651520C2777842544 @default.
- W4231651520 hasConceptScore W4231651520C33923547 @default.
- W4231651520 hasConceptScore W4231651520C41008148 @default.
- W4231651520 hasConceptScore W4231651520C41895202 @default.
- W4231651520 hasConceptScore W4231651520C42475967 @default.
- W4231651520 hasConceptScore W4231651520C9652623 @default.
- W4231651520 hasIssue "4" @default.
- W4231651520 hasLocation W42316515201 @default.
- W4231651520 hasOpenAccess W4231651520 @default.
- W4231651520 hasPrimaryLocation W42316515201 @default.
- W4231651520 hasRelatedWork W1483545155 @default.
- W4231651520 hasRelatedWork W1528240692 @default.
- W4231651520 hasRelatedWork W1748125575 @default.
- W4231651520 hasRelatedWork W2376118243 @default.
- W4231651520 hasRelatedWork W2384947125 @default.
- W4231651520 hasRelatedWork W2405038964 @default.
- W4231651520 hasRelatedWork W2588901507 @default.
- W4231651520 hasRelatedWork W2897631772 @default.
- W4231651520 hasRelatedWork W80042586 @default.
- W4231651520 hasRelatedWork W2584532118 @default.
- W4231651520 hasVolume "68" @default.
- W4231651520 isParatext "false" @default.
- W4231651520 isRetracted "false" @default.
- W4231651520 workType "article" @default.