ACTLW -- an action-based computation tree logic with unless operator (Q2476788): 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.1016/j.ins.2007.10.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2061609623
@@ Property / OpenAlex ID: W2061609623 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2476788