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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1194808