Petri nets with name creation for transient secure association (Q2510386): Difference between revisions

@@ Property / describes a project that uses @@
+CEGAR
@@ Property / describes a project that uses: CEGAR / 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/s00236-013-0188-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2061222159
@@ Property / OpenAlex ID: W2061222159 / rank @@
+Normal rank
@@ Property / cites work @@
+Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification
+Normal rank
@@ Property / cites work @@
+A classification of the expressive power of well-structured transition systems
+Normal rank
@@ Property / cites work @@
+Q2766553
@@ Property / cites work: Q2766553 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247286
@@ Property / cites work: Q4247286 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Expand, enlarge and check: new algorithms for the coverability problem of WSTS
+Normal rank
@@ Property / cites work @@
+ω-Petri Nets
@@ Property / cites work: ω-Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Recursive Petri nets
@@ Property / cites work: Recursive Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of a temporal logic problem for Petri nets
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Q2775865
@@ Property / cites work: Q2775865 / rank @@
+Normal rank
@@ Property / cites work @@
+Cost Soundness for Priced Resource-Constrained Workflow Nets
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Problems in Petri Nets with Names and Replication
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of Petri nets with unordered data
+Normal rank
@@ Property / cites work @@
+Multiset rewriting for the verification of depth-bounded processes with name binding
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank