Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092): Difference between revisions

@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Q5714437
@@ Property / cites work: Q5714437 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph rewriting for the π-calculus
@@ Property / cites work: Graph rewriting for the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A partition refinement algorithm for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4536393
@@ Property / cites work: Q4536393 / rank @@
+Normal rank