A complete axiomatic semantics of spawning
type: Item
instance of: scholarly article
title: A complete axiomatic semantics of spawning
zbMATH Open document ID: 0731.68076
DOI: 10.1007/BF02252958
author: Sigurd Meldal
published in: Distributed Computing
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 4209625
zbMATH Keywords: distributed systems
zbMATH Keywords: modularity
zbMATH Keywords: Ada tasking
zbMATH Keywords: non-determinism
zbMATH Keywords: concurrent systems
zbMATH Keywords: partial correctness
zbMATH Keywords: task verification
describes a project that uses: Ada95
MaRDI profile type: Publication
cites work: Designing equivalent semantic models for process creation
cites work: A Proof System for Communicating Sequential Processes
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
cites work: Q3912057
cites work: Program proving: KJumps and functions
cites work: Soundness and Completeness of an Axiom System for Program Verification
cites work: Q3221381
cites work: A linear-history semantics for languages for distributed programming
cites work: A proof system for concurrent ADA programs
cites work: A mathematical approach to nondeterminism in data types
cites work: An axiomatic basis for computer programming
cites work: Communicating sequential processes
cites work: Q3777424
cites work: A proof technique for communicating sequential processes
cites work: Proof rules for the programming language Euclid
cites work: An axiomatic semantics for nested concurrency
cites work: Partial correctness of exits from concurrent structures
cites work: Using message passing for distributed programming: proof rules and disciplines
cites work: A proof technique for parallel programs
cites work: Q4385539
full work available at URL: https://doi.org/10.1007/bf02252958
OpenAlex ID: W2049626175
Recommended article: Q3704884
Recommended article: Towards Complete Reasoning about Axiomatic Specifications
Recommended article: An axiomatic semantics for nested concurrency
Recommended article: Q3709888
Recommended article: An axiomatic semantics for Esterel
Recommended article: A Semantics for Every GSPN
Recommended article: Axiomatic systems in concurrency theory
Recommended article: The axiomatic semantics of programs based on Hoare's logic
Recommended article: A Denotational Semantic Theory of Concurrent Systems
Recommended article: Axiomatizing schemes and their behaviors
description: scientific article; zbMATH DE number 4209625