Coverart for item
The Resource CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings, Mario Bravetti, Gianluigi Zavattaro (eds.), (electronic resource)

CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings, Mario Bravetti, Gianluigi Zavattaro (eds.), (electronic resource)

Label
CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings
Title
CONCUR 2009 - concurrency theory
Title remainder
20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings
Statement of responsibility
Mario Bravetti, Gianluigi Zavattaro (eds.)
Title variation
CONCUR 2009
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
CaPaEBR
LC call number
QA76.58
LC item number
.I53 2009eb
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
International Conference on Concurrency Theory
http://library.link/vocab/relatedWorkOrContributorName
  • Bravetti, Mario
  • Zavattaro, Gianuigi
  • ebrary, Inc
Series statement
Lecture notes in computer science,
Series volume
5710
http://library.link/vocab/subjectName
  • Parallel processing (Electronic computers)
  • Computer multitasking
Summary expansion
This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009.The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages
Label
CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings, Mario Bravetti, Gianluigi Zavattaro (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316972
Dimensions
unknown
Isbn
9783642040801
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316972
Label
CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings, Mario Bravetti, Gianluigi Zavattaro (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316972
Dimensions
unknown
Isbn
9783642040801
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316972

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 ...