Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507): Difference between revisions

@@ Property / describes a project that uses @@
+Petruchio
@@ Property / describes a project that uses: Petruchio / 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.1016/j.ic.2012.03.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2018059643
@@ Property / OpenAlex ID: W2018059643 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57831209
@@ Property / Wikidata QID: Q57831209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4798028
@@ Property / cites work: Q4798028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530846
@@ Property / cites work: Q4530846 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
+Normal rank
@@ Property / cites work @@
+A theory of structural stationarity in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
+Normal rank
@@ Property / cites work @@
+Encoding Asynchronous Interactions Using Open Petri Nets
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601864
@@ Property / cites work: Q3601864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of Petri nets with unordered data
+Normal rank
@@ Property / cites work @@
+Decidability Problems in Petri Nets with Names and Replication
+Normal rank
@@ Property / cites work @@
+Comparing the Expressive Power of Well-Structured Transition Systems
+Normal rank
@@ Property / cites work @@
+Q5192932
@@ Property / cites work: Q5192932 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+When ambients cannot be opened
@@ Property / cites work: When ambients cannot be opened / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
+Normal rank
@@ Property / cites work @@
+Depth Boundedness in Multiset Rewriting Systems with Name Binding
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting logic as a semantic framework for concurrency: a progress report
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Forward Analysis of Depth-Bounded Processes
@@ Property / cites work: Forward Analysis of Depth-Bounded Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389997
@@ Property / cites work: Q5389997 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward Analysis for WSTS, Part II: Complete WSTS
@@ Property / cites work: Forward Analysis for WSTS, Part II: Complete WSTS / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4421726
@@ Property / cites work: Q4421726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847412
@@ Property / cites work: Q2847412 / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding reachability problems in Turing-complete fragments of Mobile Ambients
+Normal rank
@@ Property / cites work @@
+Reachability analysis of fragments of mobile ambients in AC term rewriting
+Normal rank
@@ Property / cites work @@
+Deciding Reachability in Mobile Ambients with Name Restriction
+Normal rank
@@ Property / cites work @@
+A well-structured framework for analysing Petri net extensions
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Ad Hoc Networks
@@ Property / cites work: Parameterized Verification of Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:714507