A class of systems with nearly zero distributed simulation overhead (Q1194808): Difference between revisions

@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Distributed simulation of networks
@@ Property / cites work: Distributed simulation of networks / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
+Normal rank
@@ Property / cites work @@
+Distributed Termination
@@ Property / cites work: Distributed Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudosimulation: an algorithm for distributed simulation with limited memory
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+A class of systems with nearly zero distributed simulation overhead
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q3801075
@@ Property / cites work: Q3801075 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of a parallel algorithm for balancing binary trees
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0255(92)90085-m
+Normal rank
@@ Property / OpenAlex ID @@
+W2082865973
@@ Property / OpenAlex ID: W2082865973 / rank @@
+Normal rank