Step semantics for ``true'' concurrency with recursion
type: Item
instance of: scholarly article
title: Step semantics for ``true'' concurrency with recursion
zbMATH Open document ID: 0703.68073
DOI: 10.1007/BF01784023
author: Erik de Vink
author: John-Jules Meyer
published in: Distributed Computing
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 4153901
zbMATH Keywords: ``true'' concurrency
zbMATH Keywords: denotational semantics
zbMATH Keywords: Smyth powerdomain of streams
MaRDI profile type: Publication
cites work: Q3030238
cites work: A continuous semantics for unbounded nondeterminism
cites work: Q4721639
cites work: Process algebra for synchronous communication
cites work: Q3745260
cites work: Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
cites work: A theory for nondeterminism, parallelism, communication, and concurrency
cites work: Processes and the denotational semantics of concurrency
cites work: Q4721641
cites work: Q3774958
cites work: Semantics of nondeterminism, concurrency, and communication
cites work: A formal semantics for concurrent systems with a priority relation
cites work: Q3777424
cites work: A calculus of communicating systems
cites work: Q4721635
cites work: Specification-oriented semantics for communicating processes
cites work: A Powerdomain Construction
cites work: Petri nets with individual tokens
cites work: Subset languages of Petri nets. I: The relationship to string languages and normal forms
cites work: Power domains
cites work: Q3753474
Recommended article: Stepwise refinement and concurrency: The finite-state case
Recommended article: Q3975160
Recommended article: Reasoning about Recursive Processes in Shared-Variable Concurrency
Recommended article: An axiomatic semantics for nested concurrency
Recommended article: Reasoning about iteration and recursion uniformly based on big-step semantics
Recommended article: Q4484500
Recommended article: Foundations of Software Science and Computational Structures
Recommended article: Realizability of Concurrent Recursive Programs
Recommended article: Realizability of concurrent recursive programs
description: scientific article; zbMATH DE number 4153901