Proof theory for exception handling in a tasking environment (Q918725): Difference between revisions

@@ Property / author @@
-Kamal Lodaya
@@ Property / author: Kamal Lodaya / rank @@
-Normal rank
@@ Property / author @@
-Rudrapatna K. Shyamasundar
@@ Property / author: Rudrapatna K. Shyamasundar / rank @@
-Normal rank
@@ Property / author @@
+Kamal Lodaya
@@ Property / author: Kamal Lodaya / rank @@
+Normal rank
@@ Property / author @@
+Rudrapatna K. Shyamasundar
@@ Property / author: Rudrapatna K. Shyamasundar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ada95
@@ Property / describes a project that uses: Ada95 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Formal Justification of a Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Q3681909
@@ Property / cites work: Q3681909 / rank @@
+Normal rank
@@ Property / cites work @@
+Program proving: KJumps and functions
@@ Property / cites work: Program proving: KJumps and functions / rank @@
+Normal rank
@@ Property / cites work @@
+Correct and Robust Programs
@@ Property / cites work: Correct and Robust Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Goto statements: Semantics and deduction systems
@@ Property / cites work: Goto statements: Semantics and deduction systems / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for concurrent ADA programs
@@ Property / cites work: A proof system for concurrent ADA programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727411
@@ Property / cites work: Q4727411 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Ada exception handling: an axiomatic approach
@@ Property / cites work: Ada exception handling: an axiomatic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3681905
@@ Property / cites work: Q3681905 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02983373
+Normal rank
@@ Property / OpenAlex ID @@
+W1973153636
@@ Property / OpenAlex ID: W1973153636 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:918725