Linda
From MaRDI portal
Cited in
(only showing first 100 items - show all)- JCobox
- TAG
- Transactors
- PLAN
- DynamoDB
- Helena
- Guava
- Rover
- GeneRank
- moleculaRnetworks
- P3S
- SNOBOL
- LPaaS
- AmbientTalk
- VisiCalc
- Vertica
- VoltDB
- DEECO
- ReSpecT
- TuCSoN
- Comparing three semantics for Linda-like languages
- The inhibition spectrum and the achievement of causal consistency
- Trace and testing equivalence on asynchronous processes
- The Linda alternative to message-passing systems
- Distributed programming with logic tuple spaces
- Dynamic management of capabilities in a network aware coordination language
- A ground-complete axiomatization of stateless bisimilarity over Linda
- Formal \textsf{ReSpecT}
- Towards a process calculus for REST: current state of the art
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- Programming autonomic systems with multiple constraint stores
- Expressiveness of concurrent intensionality
- On the expressiveness of Linda coordination primitives.
- NetWorkSpace: A coordination system for high-productivity environments
- Blackboard relations in the \(\mu\text{Log}\) coordination model
- Quantitative information in the tuple space coordination model
- LMNtal as a hierarchical logic programming language
- A calculus of quality for robustness against unreliable communication
- Comparing three coordination models: Reo, ARC, and PBRD
- Defining actions in concurrent declarative programming
- A process algebraic view of Linda coordination primitives
- Synchrony vs asynchrony in communication primitives
- Coordinating asynchronous and open distributed systems under semiring-based timing constraints
- A transition system semantics for the control-driven coordination language MANIFOLD
- Linda-based applicative and imperative process algebras
- Types for access control
- Comparing three coordination models: Reo, ARC, and RRD
- A formal approach to the engineering of domain-specific distributed systems
- A semantic theory of the Internet of Things
- Causal-consistent rollback in a tuple-based language
- Comparing communication primitives via their relative expressive power
- An algebraic approach for modelling organisation, roles and contexts in MAS
- Towards an integration science. The influence of Richard Bellman on our research.
- On the expressiveness of multiplicities in data-based coordination languages
- Process calculi as a tool for studying coordination, contracts and session types
- The Calculus of Handshake Configurations
- MOMI: a calculus for mobile mixins
- The ARC programming model -- language constructs for coordination
- Fairness in shared invocation servicing
- New architectures for constructed complex systems
- Providing data confidentiality against malicious hosts in shared data spaces
- Implementing set objects in dynamic distributed systems
- Channel-based coordination via constraint satisfaction
- Expired data collection in shared dataspaces.
- Generative communication in Linda
- Entailment-based actions for coordination
- A process algebraic view of shared dataspace coordination
- A principled exploration of coordination models
- Algebraic specification of agent computation
- Abstractions for fault-tolerant global computing
- From distributed coordination to field calculus and aggregate computing
- Event based choreography
- A decentralized computational infrastructure for Grid-based parallel asynchronous iterative applications
- Mathematics of big data. Spreadsheets, databases, matrices, and graphs. With a foreword by Charles E. Leiserson
- The seal calculus
- Service oriented computing from a process algebraic perspective
- Coordination models Orc and Reo compared
- Symbolic execution of Reo circuits using constraint automata
- A model of context-dependent component connectors
- On Byzantine generals with alternative plans
- Case studies in asynchronous data parallelism
- On the expressive power of \textsc{Klaim}-based calculi
- Comparative analysis of the expressiveness of shared dataspace coordination
- Asynchronous communication model based on linear logic
- Efficient exhaustive listings of reversible one dimensional cellular automata
- On the collective sort problem for distributed tuple spaces
- Refining multiset transformers
- Combining metaheuristics and exact methods for solving exactly multi-objective problems on the grid
- Semantic models of a timed distributed dataspace architecture
- From flow logic to static type systems for coordination languages
- On the expressiveness of symmetric communication
- A coordination approach to mobile components
- A sorted semantic framework for applied process calculi (extended abstract)
- Structuring operational semantics: simplification and computation
- Basic observables for a calculus for global computing
- Logic programming as a service
- CS-Prolog
- simpA
- Klava
- MetaKlaim
This page was built for software: Linda
