E-Book, Englisch, Band 6116, 183 Seiten, eBook
Clarke / Agha Coordination Models and Languages
Erscheinungsjahr 2010
ISBN: 978-3-642-13414-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
E-Book, Englisch, Band 6116, 183 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-642-13414-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.