• Reo

  • Referenced in 88 articles [sw06353]
  • coordination language. Reo presents a paradigm for composition of distributed software components and services based ... channels. Reo enforces an exogenous channel-based coordination model that defines how designers can build ... complex coordinators, called connectors, out of simpler ones. Application designers ... glue code” language for compositional construction of connectors that orchestrate the cooperative behavior of instances...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • system semantics for the control-driven coordination language MANIFOLD Coordination languages are a new class ... parallel programming languages which manage the interactions among concurrent programs. Basically, coordination is achieved either ... semantics of a control-oriented coordination language, this approach is useful for the formal studies ... other coordination models and languages as well...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • like any other data), but the language provides coordination mechanisms to control the interaction protocols ... useful for discussing the design of the language and provides guidelines for implementations. KLAIM...
  • ReSpecT

  • Referenced in 21 articles [sw40246]
  • Specification Tuples) is a logic-based coordination language enabling tuple space programming...
  • TuCSoN

  • Referenced in 19 articles [sw40245]
  • agents. TuCSoN exploits tuple centres as its coordination media, which are tuple spaces enhanced with ... specification, thanks to the ReSpecT language. The TuCSoN coordination technology implements the TuCSoN model...
  • Agapia

  • Referenced in 8 articles [sw07162]
  • computation, can be seen as a coordination language and is developed on top of usual...
  • MOMI

  • Referenced in 4 articles [sw09432]
  • mixins. MOMI (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange...
  • Mathemagix

  • Referenced in 42 articles [sw00553]
  • programming for symbolic and certified numeric computations. Coordinated by Joris van der Hoeven from ... design of a scientific programming language for symbolic and certified numeric algorithms. This language...
  • DICE

  • Referenced in 2 articles [sw02641]
  • DICE is implemented using the Manifold coordination language, and coordinates the components of a distributed...
  • FASAN

  • Referenced in 2 articles [sw02895]
  • functional program in the coordinating language FASAN. We will show how this concise program ... combined with the stream semantics of the language. The key issue is the representation ... synchronization. As an example, we describe the coordinating part of a recursive finite element application...
  • JAFMAS

  • Referenced in 4 articles [sw07882]
  • implementation. JAFMAS provides communication, linguistic and coordination support through sixteen Java classes. Communication support ... KQML) based languages allowing for agent independent semantics. Coordination support follows from Searle’s thesis ... Cambridge University Press, 1962) that, ”speaking a language is engaging in a (highly complex) rule ... behavior.” We conceptualize agent plans and their coordination as rule-based conversations represented by automata...
  • Lucinda

  • Referenced in 1 article [sw09433]
  • describes the courting of Linda (a coordination language) by Russell (a computation language...
  • CoorSet

  • Referenced in 1 article [sw01949]
  • distributed implementation of coordination systems. An interface definition language based on the extended coordination model...
  • Pycao

  • Referenced in 2 articles [sw15164]
  • like wavefront .obj, use coordinates. In contrast, Pycao is a language developed as a python ... module to avoid coordinates as much as possible. The primary focus is on geometrical concepts ... handle barycenters easily. A ”natural geometrical language” for 3d-objects is still to be defined...
  • KQML

  • Referenced in 31 articles [sw29718]
  • agents. KQML can be used as a language for an application program to interact with ... class of agent called communication facilitators which coordinate the interactions of other agents The ideas...
  • Paradigm

  • Referenced in 1 article [sw40756]
  • verification approach for Paradigm, a coordination modeling language specifying an architecture in terms of components...
  • LAILA

  • Referenced in 10 articles [sw02266]
  • this paper is to describe LAILA, a language that can be used by logic-based ... high level several ways to join and coordinate with one another. In particular, we considered ... Syntax and operational semantics of the LAILA language are given along with a clarifying example...
  • XGobi

  • Referenced in 37 articles [sw11752]
  • high-dimensional spaces, as well as parallel coordinate displays and textual views thereof. Projection tools ... been done for the data analysis language S, the geographic information system (GIS) Arc View...
  • nws

  • Referenced in 4 articles [sw08256]
  • Sleigh. Provides coordination and parallel execution facilities, as well as limited cross-language data exchange...
  • DIASPORA

  • Referenced in 14 articles [sw02659]
  • model are expressed through a declarative language that permits users to explicitly specify navigation. DIASPORA ... site to another, without requiring much coordination from the query originating site. Its design addresses...