Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation (Q5248063): Difference between revisions

@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+An extended event graph-based modelling method for parallel and distributed discrete-event simulation
+Normal rank
@@ Property / cites work @@
+On the Generality of Event-Graph Models
@@ Property / cites work: On the Generality of Event-Graph Models / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling statechart semantics
@@ Property / cites work: Reconciling statechart semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
+Normal rank
@@ Property / cites work @@
+Structural and behavioral equivalence of simulation models
+Normal rank
@@ Property / cites work @@
+\(n\)-dimensional cell-DEVS models
@@ Property / cites work: \(n\)-dimensional cell-DEVS models / rank @@
+Normal rank
@@ Property / cites work @@
+Execution Conditions: A Formalization of Event Cancellation in Simulation Graphs
+Normal rank
@@ Property / cites work @@
+Trans-dichotomous algorithms for minimum spanning trees and shortest paths
+Normal rank
@@ Property / cites work @@
+Abstract next subvolume method: a logical process-based approach for spatial stochastic simulation of chemical reactions
+Normal rank
@@ Property / cites work @@
+Predator-prey and host-parasite spatial stochastic models
+Normal rank