Cited in
(only showing first 100 items - show all)- 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
- 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
- CoBoxes
- SCEL
This page was built for software: Linda
