Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745): Difference between revisions

@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
+Normal rank
@@ 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-54848-2_6
+Normal rank
@@ Property / OpenAlex ID @@
+W199692467
@@ Property / OpenAlex ID: W199692467 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Refinement for Weighted Modal Transition Systems
+Normal rank
@@ Property / cites work @@
+General Quantitative Specification Theories with Modalities
+Normal rank
@@ Property / cites work @@
+Extending modal transition systems with structured labels
+Normal rank
@@ Property / cites work @@
+Parametric Modal Transition Systems
@@ Property / cites work: Parametric Modal Transition Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra for Modal Transition Systemses
@@ Property / cites work: Process Algebra for Modal Transition Systemses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4027619
@@ Property / cites work: Q4027619 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation distances
@@ Property / cites work: Simulation distances / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking discounted temporal properties
@@ Property / cites work: Model checking discounted temporal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q2911616
@@ Property / cites work: Q2911616 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification Theories for Probabilistic and Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Metrics for weighted transition systems: axiomatization and complexity
+Normal rank
@@ Property / cites work @@
+Comparing disjunctive modal transition systems with an one-selecting variant
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for the description of non-deterministic programs and their properties
+Normal rank
@@ Property / cites work @@
+A refinement calculus for specifications in Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal transition systems with weight intervals
@@ Property / cites work: Modal transition systems with weight intervals / rank @@
+Normal rank
@@ Property / cites work @@
+A context dependent equivalence between processes
@@ Property / cites work: A context dependent equivalence between processes / rank @@
+Normal rank
@@ Property / cites work @@
+On Modal Refinement and Consistency
@@ Property / cites work: On Modal Refinement and Consistency / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Axiomatic System for a Process-Based Spatial Logic
+Normal rank
@@ Property / cites work @@
+Modal Abstractions of Concurrent Behaviour
@@ Property / cites work: Modal Abstractions of Concurrent Behaviour / rank @@
+Normal rank