It's all about coordination : essays to celebrate the lifelong scientific achievements of Farhad Arbab /: essays to celebrate the lifelong scientific achievements of Farhad Arbab. ([2018])

• Record Type: Book
• Other Titles: It is all about coordination
• Further Information: Note: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
• Editors: Boer, Frank S. de; Bonsangue, Marcello M; Rutten, J. J. M. M
• Other Names: Arbab, F (Farhad) honouree.
• Contents: Discovering the "Glue" Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xii, 244 pages), illustrations
• Subjects: 004.35; Computer science; Parallel processing (Electronic computers); Electronic data processing -- Distributed processing; Computer multitasking; Formal methods (Computer science); Computer multitasking; Electronic data processing -- Distributed processing; Formal methods (Computer science); Parallel processing (Electronic computers); Computers -- Programming Languages -- General; Computers -- Programming -- General; Computers -- Computer Simulation; Computers -- Intelligence (AI) & Semantics; Mathematics -- Logic; Programming & scripting languages: general; Computer programming / software development; Computer modelling & simulation; Artificial intelligence; Mathematical theory of computation; Software engineering; Computer simulation; Artificial intelligence; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9783319900896; 3319900897; 3319900889; 9783319900889
• Related ISBNs: 9783319900889
• Notes: Note: Includes bibliographical references and author index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.