A\(^ 2\)CCS: Atomic actions for CCS (Q912608): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and atomicity
@@ Property / cites work: Concurrency and atomicity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430315
@@ Property / cites work: Q4430315 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750114
@@ Property / cites work: Q3750114 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127189963
@@ Property / Wikidata QID: Q127189963 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:912608