Denotational semantics for thread algebra (Q2469153): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2007.05.002
@@ Property / DOI: 10.1016/j.jlap.2007.05.002 / rank @@
-Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+The connection between initial and unique solutions of domain equations in the partial order and metric approach
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Q4449159
@@ Property / cites work: Q4449159 / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized process algebra with reactive composition
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Program algebra for sequential code
@@ Property / cites work: Program algebra for sequential code / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2743132
@@ Property / cites work: Q2743132 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023580
@@ Property / cites work: Q4023580 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2007.05.002
@@ Property / DOI: 10.1016/J.JLAP.2007.05.002 / rank @@
+Normal rank