An Epistemic Predicate CTL* for Finite Control π-Processes (Q2825420): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.10.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2095498627
@@ Property / OpenAlex ID: W2095498627 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318186
@@ Property / Wikidata QID: Q113318186 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking mobile processes
@@ Property / cites work: Model checking mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475142
@@ Property / cites work: Q4475142 / rank @@
+Normal rank
@@ Property / cites work @@
+μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Observing Distributed Computation. A Dynamic-Epistemic Approach
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760245
@@ Property / cites work: Q2760245 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank