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

DOI10.1007/978-3-642-54624-2_20zbMATH Open1407.68339OpenAlexW189226382MaRDI QIDQ5403079FDOQ5403079

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

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

Mathematics Subject Classification ID

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

Cites Work

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

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)