A formal semantics for debugging synchronous message passing-based concurrent programs (Q2348946): Difference between revisions

@@ Property / DOI @@
-.1007/s11432-014-5150-4
@@ Property / DOI: 10.1007/s11432-014-5150-4 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2059538525
@@ Property / OpenAlex ID: W2059538525 / 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 @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for message-passing process algebras
+Normal rank
@@ Property / cites work @@
+A formal semantics for program debugging
@@ Property / cites work: A formal semantics for program debugging / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical logic. Foundations for information science
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11432-014-5150-4
@@ Property / DOI: 10.1007/S11432-014-5150-4 / rank @@
+Normal rank