Pages that link to "Item:Q5137015"

The following pages link to Synchronous, asynchronous, and causally ordered communication (Q5137015):

Displaying 13 items.

• A limitation of vector timestamps for reconstructing distributed computations (Q293417) (← links)
• On the diversity of asynchronous communication (Q315311) (← links)
• On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
• On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
• A framework for viewing atomic events in distributed computations (Q1128710) (← links)
• A modular framework for verifying versatile distributed systems (Q2011199) (← links)
• Behavioural semantics for asynchronous components (Q2397038) (← links)
• Multiparty half-duplex systems and synchronous communications (Q2683034) (← links)
• (Q3300832) (← links)
• Necessary and sufficient conditions on information for causal message ordering and their optimal implementation (Q5137351) (← links)
• Guessing the Buffer Bound for k-Synchronizability (Q6070755) (← links)
• Asymptotic (a)synchronism sensitivity and complexity of elementary cellular automata (Q6547963) (← links)
• Weakly synchronous systems with three machines are Turing powerful (Q6623012) (← links)