Linda

swMATH9427MaRDI QIDQ21410

No author found.

Related Items (76)

The Linda alternative to message-passing systems ⋮ Expired data collection in shared dataspaces. ⋮ Implementing set objects in dynamic distributed systems ⋮ Case studies in asynchronous data parallelism ⋮ Distributed programming with logic tuple spaces ⋮ Abstractions for fault-tolerant global computing ⋮ Efficient exhaustive listings of reversible one dimensional cellular automata ⋮ On the Expressiveness of Symmetric Communication ⋮ Asynchronous communication model based on linear logic ⋮ A decentralized computational infrastructure for Grid-based parallel asynchronous iterative applications ⋮ Basic observables for a calculus for global computing ⋮ On the collective sort problem for distributed tuple spaces ⋮ Logic programming as a service ⋮ Service oriented computing from a process algebraic perspective ⋮ A process algebraic view of Linda coordination primitives ⋮ Refining multiset transformers ⋮ Entailment-based actions for coordination ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ simpA: an agent-oriented approach for programming concurrent applications on top of Java ⋮ Fairness in shared invocation servicing ⋮ Expressiveness of concurrent intensionality ⋮ New architectures for constructed complex systems ⋮ Towards a process calculus for REST: current state of the art ⋮ Symbolic execution of Reo circuits using constraint automata ⋮ A model of context-dependent component connectors ⋮ On Byzantine generals with alternative plans ⋮ A semantic theory of the Internet of things ⋮ The inhibition spectrum and the achievement of causal consistency ⋮ A ground-complete axiomatization of stateless bisimilarity over Linda ⋮ A calculus of quality for robustness against unreliable communication ⋮ Combining metaheuristics and exact methods for solving exactly multi-objective problems on the grid ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ On the expressiveness of multiplicities in data-based coordination languages ⋮ Causal-consistent rollback in a tuple-based language ⋮ A process algebraic view of shared dataspace coordination ⋮ Blackboard relations in the \(\mu\text{Log}\) coordination model ⋮ From flow logic to static type systems for coordination languages ⋮ Providing data confidentiality against malicious hosts in shared data spaces ⋮ Formal ReSpecT ⋮ Channel-based coordination via constraint satisfaction ⋮ From distributed coordination to field calculus and aggregate computing ⋮ The ARC Programming Model – Language Constructs for Coordination ⋮ Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints ⋮ Semantic models of a timed distributed dataspace architecture ⋮ A coordination approach to mobile components ⋮ On the expressive power of \textsc{Klaim}-based calculi ⋮ A principled exploration of coordination models ⋮ Generative communication in Linda ⋮ Unnamed Item ⋮ Event based choreography ⋮ The Calculus of Handshake Configurations ⋮ Comparing communication primitives via their relative expressive power ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) ⋮ Dynamic management of capabilities in a network aware coordination language ⋮ LMNtal as a hierarchical logic programming language ⋮ Comparative analysis of the expressiveness of shared dataspace coordination ⋮ Defining Actions in Concurrent Declarative Programming ⋮ A transition system semantics for the control-driven coordination language MANIFOLD ⋮ Comparing three semantics for Linda-like languages ⋮ Types for access control ⋮ Linda-based applicative and imperative process algebras ⋮ NetWorkSpace: A coordination system for high-productivity environments ⋮ The seal calculus ⋮ Towards an integration science. The influence of Richard Bellman on our research. ⋮ MOMI: a calculus for mobile mixins ⋮ Quantitative information in the tuple space coordination model ⋮ Programming Autonomic Systems with Multiple Constraint Stores ⋮ On the expressiveness of Linda coordination primitives. ⋮ Trace and testing equivalence on asynchronous processes ⋮ Structuring Operational Semantics: Simplification and Computation ⋮ Comparing Three Coordination Models: Reo, ARC, and RRD ⋮ Coordination Models Orc and Reo Compared ⋮ Synchrony vs Asynchrony in Communication Primitives ⋮ Algebraic specification of agent computation ⋮ An algebraic approach for modelling organisation, roles and contexts in MAS

This page was built for software: Linda