The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (Q1190479): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algèbre de processus et synchronisation
@@ Property / cites work: Algèbre de processus et synchronisation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733376
@@ Property / cites work: Q4733376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657417
@@ Property / cites work: Q3657417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922147
@@ Property / cites work: Q3922147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4745241
@@ Property / cites work: Q4745241 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q3929062
@@ Property / cites work: Q3929062 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727371
@@ Property / cites work: Q3727371 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank