Coverart for item
The Resource Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever, Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.), (electronic resource)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever, Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.), (electronic resource)

Label
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever
Title
Concurrency, compositionality, and correctness
Title remainder
essays in honor of Willem-Paul De Roever
Statement of responsibility
Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
Contributor
Subject
Language
eng
Summary
  • This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs. The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms
  • Annotation:
Member of
Cataloging source
BTCTA
Dewey number
004
LC call number
QA76.9
LC item number
.C66 2010
http://library.link/vocab/relatedWorkOrContributorDate
1943-
http://library.link/vocab/relatedWorkOrContributorName
  • Dams, Dennis
  • Roever, W.-P. de
  • Hannemann, Ulrich
  • Steffen, Martin
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 1-theoretical computer science and general issues
Series volume
5930
http://library.link/vocab/subjectName
  • Parallel programming (Computer science)
  • Computer programs
  • Computer science
Summary expansion
This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs.The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms
Label
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever, Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
  • Includes bibliographical references and index
  • Includes "A bibliography of Willem-Paul de Roever" (pages 1-9)
Control code
OCM1bookssj0000355471
Dimensions
unknown
Isbn
9783642115110
Lccn
2009943840
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355471
Label
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever, Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.), (electronic resource)
Publication
Bibliography note
  • Includes bibliographical references and index
  • Includes "A bibliography of Willem-Paul de Roever" (pages 1-9)
Control code
OCM1bookssj0000355471
Dimensions
unknown
Isbn
9783642115110
Lccn
2009943840
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355471

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...