A complete axiomatic semantics of spawning

DOI10.1007/BF02252958zbMATH Open0731.68076OpenAlexW2049626175MaRDI QIDQ808281FDOQ808281

Authors: Sigurd Meldal 

Publication date: 1991

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02252958

Recommendations

• scientific article; zbMATH DE number 3932376
• Towards Complete Reasoning about Axiomatic Specifications
• An axiomatic semantics for nested concurrency
• scientific article; zbMATH DE number 3938560
• An axiomatic semantics for Esterel
• A semantics for every GSPN
• Axiomatic systems in concurrency theory
• The axiomatic semantics of programs based on Hoare's logic
• A denotational semantic theory of concurrent systems
• Axiomatizing schemes and their behaviors

zbMATH Keywords

modularitydistributed systemspartial correctnessnon-determinismconcurrent systemsAda taskingtask verification

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• An axiomatic basis for computer programming
• Ten Years of Hoare's Logic: A Survey—Part I
• Soundness and Completeness of an Axiom System for Program Verification
• Communicating sequential processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Proof System for Communicating Sequential Processes
• Program proving: KJumps and functions
• A proof technique for parallel programs
• A proof technique for communicating sequential processes
• A linear-history semantics for languages for distributed programming
• Title not available (Why is that?)
• An axiomatic semantics for nested concurrency
• Proof rules for the programming language Euclid
• A proof system for concurrent ADA programs
• Partial correctness of exits from concurrent structures
• Designing equivalent semantic models for process creation
• Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
• Using message passing for distributed programming: proof rules and disciplines
• A mathematical approach to nondeterminism in data types

Cited In (2)

• Reasoning about dynamically evolving process structures
• A Proof System for Ada Tasks

Uses Software

• Ada95

This page was built for publication: A complete axiomatic semantics of spawning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q808281)