Contracts for security adaptation (Q541291): Difference between revisions

@@ 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.jlap.2010.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2052240431
@@ Property / OpenAlex ID: W2052240431 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Component adaptation through flexible subservicing
+Normal rank
@@ Property / cites work @@
+Q3539948
@@ Property / cites work: Q3539948 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Adaptation Contracts
@@ Property / cites work: Automatic Generation of Adaptation Contracts / 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