A complete axiomatic semantics of spawning (Q808281): Difference between revisions

@@ Property / describes a project that uses @@
+Ada95
@@ Property / describes a project that uses: Ada95 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Designing equivalent semantic models for process creation
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
+Normal rank
@@ Property / cites work @@
+Q3912057
@@ Property / cites work: Q3912057 / 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 @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-history semantics for languages for distributed programming
+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 @@
+A mathematical approach to nondeterminism in data types
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof technique for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Proof rules for the programming language Euclid
@@ Property / cites work: Proof rules for the programming language Euclid / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic semantics for nested concurrency
@@ Property / cites work: An axiomatic semantics for nested concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Partial correctness of exits from concurrent structures
+Normal rank
@@ Property / cites work @@
+Using message passing for distributed programming:  proof rules and disciplines
+Normal rank
@@ Property / cites work @@
+A proof technique for parallel programs
@@ Property / cites work: A proof technique for parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:808281