ACTLW -- an action-based computation tree logic with unless operator (Q2476788): Difference between revisions

@@ Property / cites work @@
+Standards and verification for fair-exchange and atomicity in e-commerce transactions
+Normal rank
@@ Property / cites work @@
+Q3997236
@@ Property / cites work: Q3997236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318992
@@ Property / cites work: Q4318992 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Checking a Mutex Algorithm in a Process Algebra with Fairness
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking for action-based logics
@@ Property / cites work: Model checking for action-based logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+ACTLW -- an action-based computation tree logic with unless operator
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+An action-based framework for veryfying logical and behavioural properties of concurrent systems
+Normal rank
@@ Property / cites work @@
+Automated analysis of mutual exclusion algorithms using CCS
+Normal rank