MANIFOLD

swMATH2900MaRDI QIDQ15438FDOQ15438

Author name not available (Why is that?)

Official website: http://www.cs.ucy.ac.cy/courses/EPL441/manifold/tut.pdf

Described by source

• A transition system semantics for the control-driven coordination language MANIFOLD

Cited In (31)

• Distributed evolutionary optimization, in manifold: Rosenbrock's function case study
• The electronic tool integration platform: Concepts and design
• Title not available (Why is that?)
• A process algebraic view of shared dataspace coordination
• Title not available (Why is that?)
• Erratic Fudgets: A semantic theory for an embedded coordination language
• Distributed and parallel systems engineering in MANIFOLD
• Computational Science – ICCS 2005
• A model of context-dependent component connectors
• Coordination Models and Languages
• Features of the PARUS technology
• A specification language for Reo connectors
• Agent coordination contexts for the formal specification and enactment of coordination and security policies
• A process-calculus-based abstraction for coordinating multi-agent groups
• Title not available (Why is that?)
• A coordination approach to mobile components
• Reo: a channel-based coordination model for component composition
• Comparing coordination models and architectures using embeddings
• A framework for specifying and verifying the behaviour of open systems
• Reo
• PICCOLA
• METATEM
• LIME
• Linda
• Abstract behavior types: a foundation model for components and their composition
• On the expressiveness of timed coordination models
• A tuple channel-based coordination model for parallel and distributed programming
• Objective coordination in multi-agent system engineering. Design and implementation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: MANIFOLD