An operational semantics of occam (Q914399): Difference between revisions

@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4743724
@@ Property / cites work: Q4743724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS with priority choice
@@ Property / cites work: CCS with priority choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3343420
@@ Property / cites work: Q3343420 / rank @@
+Normal rank