Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by Dave Clarke, Gul Agha.
Material type: TextSeries: Lecture Notes in Computer Science ; 6116Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: XI, 183p. 50 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642134142Subject(s): Computer science | Computer Communication Networks | Software engineering | Information systems | Computer Science | Software Engineering | Programming Techniques | Software Engineering/Programming and Operating Systems | Computer Communication Networks | Models and Principles | Information Systems Applications (incl.Internet)Additional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK9060 |
Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request-Response Operations -- NOW: A Workflow Language for Orchestration in Nomadic Networks -- A Calculus for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow Networks -- Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks -- Simulation and Analysis of Distributed Systems in Klaim -- Modelling Railway Interlocking Tables Using Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient Composite Event Detection.
There are no comments on this title.