Step semantics for ``true concurrency with recursion

DOI10.1007/BF01784023MaRDI QIDQ916408zbMATH OpenFDO

Authors Erik de Vink, John-Jules Meyer

Publication date 1989

Published in Distributed Computing (Search for Journal in Brave)

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

zbMATH Keywords

``true concurrencydenotational semanticsSmyth powerdomain of streams

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Stepwise refinement and concurrency: The finite-state case
• scientific article; zbMATH DE number 17816
• Reasoning about recursive processes in shared-variable concurrency
• An axiomatic semantics for nested concurrency
• Reasoning about iteration and recursion uniformly based on big-step semantics
• scientific article; zbMATH DE number 1927575
• Foundations of Software Science and Computational Structures
• Realizability of Concurrent Recursive Programs
• Realizability of concurrent recursive programs

Cites work

• A calculus of communicating systems
• A continuous semantics for unbounded nondeterminism
• A formal semantics for concurrent systems with a priority relation
• A Powerdomain Construction
• A theory for nondeterminism, parallelism, communication, and concurrency
• scientific article; zbMATH DE number 4018369 (Why is no real title available?)
• scientific article; zbMATH DE number 3980464 (Why is no real title available?)
• scientific article; zbMATH DE number 3990850 (Why is no real title available?)
• scientific article; zbMATH DE number 4035159 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3995033 (Why is no real title available?)
• scientific article; zbMATH DE number 3995041 (Why is no real title available?)
• scientific article; zbMATH DE number 3995043 (Why is no real title available?)
• Petri nets with individual tokens
• Power domains
• Process algebra for synchronous communication
• Processes and the denotational semantics of concurrency
• Semantics of nondeterminism, concurrency, and communication
• Specification-oriented semantics for communicating processes
• Subset languages of Petri nets. I: The relationship to string languages and normal forms
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency

Cited in

(6)

• Linear time and branching time semantics for recursion with merge
• Actors, actions, and initiative in normative system specification
• Stepwise refinement and concurrency: The finite-state case
• scientific article; zbMATH DE number 3990850 (Why is no real title available?)
• scientific article; zbMATH DE number 17816 (Why is no real title available?)
• scientific article; zbMATH DE number 92601 (Why is no real title available?)

This page was built for publication: Step semantics for ``true concurrency with recursion

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