Cameo: an alternative model of concurrency for Eiffel (Q846117): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-008-0096-1
@@ Property / DOI: 10.1007/s00165-008-0096-1 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+CSPsim
@@ Property / describes a project that uses: CSPsim / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56047699
@@ Property / Wikidata QID: Q56047699 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-008-0096-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1984572654
@@ Property / OpenAlex ID: W1984572654 / rank @@
+Normal rank
@@ Property / cites work @@
+A CSP model of Eiffel's SCOOP
@@ Property / cites work: A CSP model of Eiffel's SCOOP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Deep semantic links of TCSP and Object-Z: TCOZ approach.
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+ERC -- an object-oriented refinement calculus for Eiffel
+Normal rank
@@ Property / cites work @@
+Q4472182
@@ Property / cites work: Q4472182 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-008-0096-1
@@ Property / DOI: 10.1007/S00165-008-0096-1 / rank @@
+Normal rank