Borrow it
Coverart for item
The Resource Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.)

Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.)

Creator
Contributor
Summary
This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009. The 14 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development
Language
eng
Work
Publication
Extent
1 online resource (xii, 305 pages)
Contents
  • Invited Talk
  • Hop, a Fast Server for the Diffuse Web
  • Languages and Systems
  • High-Performance Transactional Event Processing
  • Exceptionally Safe Futures
  • Enhanced Coordination in Sensor Networks through Flexible Service Provisioning
  • Fairness for Chorded Languages
  • Semantic Models and Calculi
  • Mobility Models and Behavioural Equivalence for Wireless Networks
  • Parametrised Constants and Replication for Spatial Mobility
  • Biochemical Tuple Spaces for Self-organising Coordination
  • Joint Session
  • Multicore Scheduling for Lightweight Communicating Processes
  • Composition and Components
  • Automata for Context-Dependent Connectors
  • Contract-Based Coordination of Hardware Components for the Development of Embedded Software
  • Coordination Model for Real-Time Collaborative Editors
  • Verification and Modeling
  • A Uniform Framework for Modeling and Verifying Components and Connectors
  • From Coordination to Stochastic Models of QoS
  • Assume-Guarantee Verification of Concurrent Systems
Isbn
9783642020537
Instance
Label
Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings
Title
Coordination models and languages
Title remainder
11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings
Statement of responsibility
John Field, Vasco T. Vasconcelos (eds.)
Title variation
COORDINATION 2009
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009. The 14 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development
Member of
Cataloging source
GW5XE
Dewey number
004/.35
Illustrations
illustrations
Index
index present
LC call number
QA76.58
LC item number
.C695 2009
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
COORDINATION (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1961-
http://library.link/vocab/relatedWorkOrContributorName
  • Field, John
  • Vasconcelos, Vasco T
Series statement
  • Lecture notes in computer science,
  • LNCS Sublibrary: SL 2 - Programming and software engineering
Series volume
5521
http://library.link/vocab/subjectName
  • Parallel processing (Electronic computers)
  • Electronic data processing
  • Informatique
  • Electronic data processing
  • Parallel processing (Electronic computers)
  • Komponente
  • Koordinationssprache
  • Nebenläufigkeit
  • Softwarearchitektur
  • Spezifikationstechnik
  • Verifikation
  • Verteiltes System
Label
Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems
Control code
432703028
Dimensions
unknown
Extent
1 online resource (xii, 305 pages)
Form of item
online
Isbn
9783642020537
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-02053-7
Other physical details
illustrations (some color).
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-02052-0
Publisher number
Best.-Nr. 12688784
Specific material designation
remote
System control number
(OCoLC)432703028
Label
Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems
Control code
432703028
Dimensions
unknown
Extent
1 online resource (xii, 305 pages)
Form of item
online
Isbn
9783642020537
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-02053-7
Other physical details
illustrations (some color).
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-02052-0
Publisher number
Best.-Nr. 12688784
Specific material designation
remote
System control number
(OCoLC)432703028

Subject

Genre

Member of

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

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...