Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing

DOI10.1007/978-3-642-54624-2_20MaRDI QIDQ5403079zbMATH OpenOpenAlexFDO

Authors Mark-Oliver Stehr, Min-Young Kim, Carolyn Talcott

Publication date 25 March 2014

Published in Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54624-2_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
• Power and limits of distributed computing shared memory models
• Context awareness in distributed computing systems
• Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
• scientific article; zbMATH DE number 1947758

Cites work

• scientific article; zbMATH DE number 1639446 (Why is no real title available?)
• scientific article; zbMATH DE number 1696668 (Why is no real title available?)
• scientific article; zbMATH DE number 1106703 (Why is no real title available?)
• scientific article; zbMATH DE number 1179121 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 1931791 (Why is no real title available?)
• scientific article; zbMATH DE number 1931815 (Why is no real title available?)
• A Distributed Logic for Networked Cyber-Physical Systems
• Broadcast Gossip Algorithms for Consensus
• Computing separable functions via gossip
• Concurrent models for Linda with transactions
• Conditional rewriting logic as a unified model of concurrency
• Distributed Computing - IWDC 2003
• Empire of colonies: Self-stabilizing and self-organizing distributed algorithm
• Exploiting storage redundancy to speed up randomized shared memory simulations
• Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism
• Finite-state self-stabilizing protocols in message-passing systems
• Impossibility of distributed consensus with one faulty process
• Knowledge and common knowledge in a distributed environment
• Linear logic
• On asynchronous iterations
• Partial order semantics and read arcs
• Probability theory. A comprehensive course.
• Self-stabilization
• Self-stabilization by counter flushing
• Self-stabilizing extensions for message-passing systems
• Self-stabilizing systems in spite of distributed control
• Spatial gossip and resource location protocols
• The expected advantage of asynchrony
• Weak vs. self vs. probabilistic stabilization

Cited in

(1)

• Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems

This page was built for publication: Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403079)