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

@@ Property / author @@
-Frédéric Peschanski
@@ Property / author: Frédéric Peschanski / rank @@
-Normal rank
@@ Property / author @@
+Frédéric Peschanski
@@ Property / author: Frédéric Peschanski / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MWB
@@ Property / describes a project that uses: MWB / 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/978-3-540-95891-8_40
+Normal rank
@@ Property / OpenAlex ID @@
+W2106675313
@@ Property / OpenAlex ID: W2106675313 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3599092