Texts Books | READER Loading...

Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, Septemb | Coordination 2000 (2000 : Limassol, Cyprus), Porto, A. (António), 1952-, Roman, Gruia-Catalin, 1951-

Deal Score+2
Telegram icon Share on Telegram

Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, Septemb

User Rating: Be the first one!

Author: Coordination 2000 (2000 : Limassol, Cyprus), Porto, A. (António), 1952-, Roman, Gruia-Catalin, 1951-

Added by: sketch

Added Date: 2015-12-30

Publication Date: 2000

Language: eng

Subjects: Parallel processing (Electronic computers), Electronic data processing

Publishers: Berlin ; New York : Springer

Collections: journals contributions, journals

ISBN Number: 3540410201

Pages Count: 300

PPI Count: 300

PDF Count: 1

Total Size: 178.14 MB

PDF Size: 3.89 MB

Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc

Archive Url

Downloads: 828

Views: 878

Total Files: 18

Media Type: texts

Description

Coordination Languages and Models: 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 Proceedings
Author: António Porto, Gruia-Catalin Roman
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41020-1
DOI: 10.1007/3-540-45263-X

Table of Contents:

  • OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
  • Scripting Coordination Styles
  • Coordination Technology for Workflows on the Web: Workspaces
  • A Principled Semantics for inp
  • Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
  • On Timed Coordination Languages
  • Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
  • Distributed Splitting of Constraint Satisfaction Problems
  • Law-Governed Internet Communities
  • Reconfiguration of Software Architecture Styles with Name Mobility
  • An Agent Mediated Approach to Dynamic Change in Coordination Policies
  • Coordination Models for Dynamic Resource Allocation
  • MobileML: A Programming Language for Mobile Computation
  • Hybrid Models for Mobile Computing
  • Mobile Agents Coordination in Mobadtl
  • A Logical Interface Description Language for Components
  • A Formalization of the IWIM Model
  • GCCS: A Graphical Coordination Language for System Specification
  • A Timed Linda Language
  • The LuCe Coordination Technology for MAS Design and Development on the Internet
READER
Logo
Compare items
  • Total (0)
Compare
0
Shopping cart