A type safe state abstraction for coordination in JAVA-like languages (Q1006341): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-008-0079-y
@@ Property / DOI: 10.1007/s00236-008-0079-y / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / 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/s00236-008-0079-y
+Normal rank
@@ Property / OpenAlex ID @@
+W1976607329
@@ Property / OpenAlex ID: W1976607329 / rank @@
+Normal rank
@@ Property / cites work @@
+How to solve the Santa Claus problem
@@ Property / cites work: How to solve the Santa Claus problem / rank @@
+Normal rank
@@ Property / cites work @@
+A type safe state abstraction for coordination in JAVA-like languages
+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 survey of concurrent object-oriented languages
@@ Property / cites work: A survey of concurrent object-oriented languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536621
@@ Property / cites work: Q4536621 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-008-0079-Y
@@ Property / DOI: 10.1007/S00236-008-0079-Y / rank @@
+Normal rank