Coordination Languages and Models
Editat de Paolo Ciancarini, Chris Hankinen Limba Engleză Paperback – 3 apr 1996
Preț: 330.75 lei
Preț vechi: 413.43 lei
-20%
Puncte Express: 496
Preț estimativ în valută:
58.49€ • 67.07$ • 50.55£
58.49€ • 67.07$ • 50.55£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540610526
ISBN-10: 3540610529
Pagini: 468
Ilustrații: XI, 452 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:1996
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540610529
Pagini: 468
Ilustrații: XI, 452 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:1996
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Parallel multiset processing: From explicit coordination to chemical reaction.- Graph rewriting and constraint solving for modelling distributed systems with synchronization (extended abstract).- Coordination as constrained interaction (extended abstract).- The IWIM model for coordination of concurrent activities.- Sonia: An adaptation of Linda for coordination of activities in organizations.- The ToolBus coordination architecture.- Enhancing coordination and modularity mechanisms for a language with objects-as-multisets.- Towards a compositional method for coordinating Gamma programs.- Introducing a calculus for higher-order multiset programming.- ?2Log: Towards remote coordination.- A process algebra based on Linda.- Intra- and inter-object coordination with MESSENGERS.- Ariadne and HOPLa: Flexible coordination of collaborative processes.- Coordination in the ImpUnity framework.- Compiler correctness for concurrent languages.- A software environment for concurrent coordinated programming.- Designing a coordination model for open systems.- CCE: A process-calculus based formalism for specifying multi-object coordination.- An extensible framework for the development of coordinated applications.- Broadcasting in time.- Semantics of a higher-order coordination language.- Solving the Linda multiple rd problem.- Coordinating distributed objects with declarative interfaces.- Coordinating services in open distributed systems with Laura.- Visifold: A visual environment for a coordination language.- ALWAN: A skeleton programming language.- Weaving the Web using coordination.- Investigating strategies for cooperative planning of independent agents through prototype evaluation.- A case study of integration of a software process management system with software engineeringenvironments for process monitoring and management.- Nepi: A network programming language based on the ?-calculus.- Modelling interoperability by CHAM: A case study.- Integrating coordination features in PVM.- A simulator framework for embedded systems.- Understanding behavior of business process models.