MANIFOLD

swMATH2900MaRDI QIDQ15438

No author found.

Described by source

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

Related Items (26)

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

This page was built for software: MANIFOLD