On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379): Difference between revisions

@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+A Concurrent Calculus with Atomic Transactions
@@ Property / cites work: A Concurrent Calculus with Atomic Transactions / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding as a tool for language comparison
@@ Property / cites work: Embedding as a tool for language comparison / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223016
@@ Property / cites work: Q4223016 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of coordination via shared dataspaces
+Normal rank
@@ Property / cites work @@
+On the expressiveness of Linda coordination primitives.
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038658
@@ Property / cites work: Q4038658 / rank @@
+Normal rank
@@ Property / cites work @@
+A\(^ 2\)CCS: Atomic actions for CCS
@@ Property / cites work: A\(^ 2\)CCS: Atomic actions for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models and refinements as tools to compare agents in timed coordination languages
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3385647
@@ Property / cites work: Q3385647 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded horn clauses
@@ Property / cites work: Guarded horn clauses / rank @@
+Normal rank