A logic for reasoning about time and reliability (Q1343864): Difference between revisions

@@ Property / describes a project that uses @@
+GTPN
@@ Property / describes a project that uses: GTPN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPNP
@@ Property / describes a project that uses: SPNP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256644
@@ Property / cites work: Q4256644 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Q3684121
@@ Property / cites work: Q3684121 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+A Graph-Theoretic Approach for Timing Analysis and its Implementation
+Normal rank
@@ Property / cites work @@
+Reasoning with time and chance
@@ Property / cites work: Reasoning with time and chance / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Q4207573
@@ Property / cites work: Q4207573 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of multiprocess probabilistic protocols
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01211866
+Normal rank
@@ Property / OpenAlex ID @@
+W2005998857
@@ Property / OpenAlex ID: W2005998857 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1343864