On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04081-8_31
+Normal rank
@@ Property / OpenAlex ID @@
+W1799668602
@@ Property / OpenAlex ID: W1799668602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150203
@@ Property / cites work: Q3150203 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
+Normal rank
@@ Property / cites work @@
+Q4449170
@@ Property / cites work: Q4449170 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking mobile processes
@@ Property / cites work: Model checking mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional Petri net translation of general \(\pi\)-calculus terms
+Normal rank
@@ Property / cites work @@
+Multisets and structural congruence of the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+A new natural structural congruence in the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+A multiset semantics for the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+A theory of structural stationarity in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
+Normal rank
@@ Property / cites work @@
+Q4222939
@@ Property / cites work: Q4222939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank