A Semantics for Every GSPN (Q5300867): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-38697-8_6
+Normal rank
@@ Property / OpenAlex ID @@
+W78405526
@@ Property / OpenAlex ID: W78405526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+Q4547765
@@ Property / cites work: Q4547765 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Generalized Stochastic Petri Nets
@@ Property / cites work: Introduction to Generalized Stochastic Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+An Analysis of Stochastic Shortest Path Problems
@@ Property / cites work: An Analysis of Stochastic Shortest Path Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Testing Finitary Probabilistic Processes
@@ Property / cites work: Testing Finitary Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Weak bisimulation is sound and complete for pCTL\(^*\)
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and Composition in a Stochastic World
@@ Property / cites work: Concurrency and Composition in a Stochastic World / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q4118602
@@ Property / cites work: Q4118602 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising divergence
@@ Property / cites work: Axiomatising divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547771
@@ Property / cites work: Q4547771 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Modelling and Generation of Markov Automata
+Normal rank
@@ Property / cites work @@
+Model Checking Interactive Markov Chains
@@ Property / cites work: Model Checking Interactive Markov Chains / rank @@
+Normal rank