A core calculus for correlation in orchestration languages (Q861302): Difference between revisions

@@ Property / Wikidata QID @@
+Q58194522
@@ Property / Wikidata QID: Q58194522 / 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.1016/j.jlap.2006.05.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2053557082
@@ Property / OpenAlex ID: W2053557082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847797
@@ Property / cites work: Q2847797 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / 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 / cites work @@
+Q3046765
@@ Property / cites work: Q3046765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046755
@@ Property / cites work: Q3046755 / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank