Linda
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Case studies in asynchronous data parallelism
- Efficient exhaustive listings of reversible one dimensional cellular automata
- Coordination models Orc and Reo compared
- Implementing set objects in dynamic distributed systems
- Symbolic execution of Reo circuits using constraint automata
- A model of context-dependent component connectors
- Comparing three coordination models: Reo, ARC, and RRD
- On Byzantine generals with alternative plans
- Comparing three coordination models: Reo, ARC, and PBRD
- Formal \textsf{ReSpecT}
- Types for access control
- CS-Prolog
- simpA
- Klava
- MetaKlaim
- SafeDpi
- MANIFOLD
- IC2D
- GRID Infoware
- SLMC
- AgentSpeak
- Jason
- Moise+
- Reo
- PICCOLA
- 2APL
- COWS
- CLIPS
- Erlang
- LMNtal
- PAGODA
- Reoservice
- CometG
- Pict
- Satin
- Chord
- KLAIM
- Janus
- LIME
- Lucinda
- MOMI
- NetWorkSpace
- WADE
- Rebeca
- QuakeTM
- Sumatra
- Twisted
- Viptos
- XPi
- SCELlight
- Succinct
- tKlaim
- Gridbus
- HBase
- PIPER
- CArtAgO
- Fuzzydl
- Jadex
- PICL
- Pastry
- TK
- SDEF
- Scheme
- INGRES
- GraphBLAS
- Accumulo
- Dynamic management of capabilities in a network aware coordination language
- CoBoxes
- SCEL
- JCobox
- TAG
- Transactors
- PLAN
- DynamoDB
- Helena
- Guava
- Rover
- GeneRank
- moleculaRnetworks
- P3S
- SNOBOL
- LPaaS
- AmbientTalk
- VisiCalc
- Vertica
- VoltDB
- DEECO
- ReSpecT
- TuCSoN
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- Logic programming as a service
- LMNtal as a hierarchical logic programming language
- A sorted semantic framework for applied process calculi (extended abstract)
- On the expressiveness of Linda coordination primitives.
- Generative communication in Linda
- A transition system semantics for the control-driven coordination language MANIFOLD
- NetWorkSpace: A coordination system for high-productivity environments
- Comparing communication primitives via their relative expressive power
- The Calculus of Handshake Configurations
- A calculus of quality for robustness against unreliable communication
This page was built for software: Linda
