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.)
Resource Information
The item Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- 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
- 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
- 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
- Subject
-
- Conference papers and proceedings
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing -- Congresses
- Informatique
- Komponente
- Koordinationssprache
- Nebenläufigkeit
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers) -- Congresses
- Softwarearchitektur
- Spezifikationstechnik
- Verifikation
- Verteiltes System
- Conference papers and proceedings
- 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
- 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.)
- 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.)
- 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
- Conference papers and proceedings
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing
- Electronic data processing -- Distributed processing -- Congresses
- Informatique
- Komponente
- Koordinationssprache
- Nebenläufigkeit
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers) -- Congresses
- Softwarearchitektur
- Spezifikationstechnik
- Verifikation
- Verteiltes System
- Conference papers and proceedings
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Coordination-models-and-languages--11th/IcOmHrME51U/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Coordination-models-and-languages--11th/IcOmHrME51U/">Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Coordination-models-and-languages--11th/IcOmHrME51U/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Coordination-models-and-languages--11th/IcOmHrME51U/">Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings, John Field, Vasco T. Vasconcelos (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>