An algebraic verification of a mobile network (Q1205185): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+The formalization and analysis of a communications protocol
+Normal rank
@@ Property / cites work @@
+Applications of Process Algebra
@@ Property / cites work: Applications of Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727367
@@ Property / cites work: Q3727367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028636
@@ Property / cites work: Q4028636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994996
@@ Property / cites work: Q3994996 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification and verification of communication protocols
+Normal rank
@@ Property / cites work @@
+Q3765231
@@ Property / cites work: Q3765231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank