swMATH9427MaRDI QIDQ21410FDOQ21410
Author name not available (Why is that?)
Official website: http://en.wikipedia.org/wiki/Linda_%28coordination_language%29
Cited In (only showing first 100 items - show all)
- Generative communication in Linda
- Implementing set objects in dynamic distributed systems
- Abstractions for fault-tolerant global computing
- Coordination models Orc and Reo compared
- Case studies in asynchronous data parallelism
- Symbolic execution of Reo circuits using constraint automata
- A model of context-dependent component connectors
- On Byzantine generals with alternative plans
- Efficient exhaustive listings of reversible one dimensional cellular automata
- Logic programming as a service
- A sorted semantic framework for applied process calculi (extended abstract)
- simpA
- 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
- CoBoxes
- SCEL
- Formal \textsf{ReSpecT}
- JCobox
- TAG
- Transactors
- PLAN
- DynamoDB
- Helena
- Guava
- Rover
- GeneRank
- moleculaRnetworks
- P3S
- SNOBOL
- LPaaS
- AmbientTalk
- VisiCalc
- Vertica
- VoltDB
- DEECO
- Dynamic management of capabilities in a network aware coordination language
- A ground-complete axiomatization of stateless bisimilarity over Linda
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- ReSpecT
- TuCSoN
- On the expressiveness of Linda coordination primitives.
- LMNtal as a hierarchical logic programming language
- A calculus of quality for robustness against unreliable communication
- Comparing three coordination models: Reo, ARC, and PBRD
- A process algebraic view of Linda coordination primitives
- A transition system semantics for the control-driven coordination language MANIFOLD
- Linda-based applicative and imperative process algebras
- Comparing three coordination models: Reo, ARC, and RRD
- Types for access control
- 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
- The ARC programming model -- language constructs for coordination
- MOMI: a calculus for mobile mixins
- Fairness in shared invocation servicing
This page was built for software: Linda
