Order and metric in the stream semantics of elemental concurrency

Bakker, J. W. de; Meyer, J.-J. Ch.

doi:10.1007/bf00263291

Cited by 10 publications

(3 citation statements)

References 17 publications

(30 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(3) A branching time denotational semantics based on a process domain of the kind described in Section 2.3 [ 11]. The equivalence of the models in (1) and ( 2) has been established in [14], the equivalence of the model in (1) and the denotational metric model is proved in [13], and the relationship between the branching time model and (any of) the linear time models is settled in [ 11 ].…”

Section: Equivalence Of Operational and Denotational Semanticsmentioning

confidence: 99%

Designing equivalent semantic models for process creation

America

Bakker²

1988

Theoretical Computer Science

View full text Add to dashboard Cite

Operational and denotational semantic models are designed for languages with process creation, and the relationships between the two semantics are investigated. The presentation is organized in four sections dealing with a uniform and static, a uniform and dynamic, a non uniform and static, and a nonuniform and dynamic language respectively. Here uniform/nonuniform refers to a language with uninterpreted/interpreted elementary actions, and static/dynamic to the distinction between languages with a fixed/ growing number of parallel processes. The contrast between uniform and nonuniform is reflected in the use of linear time versus branching time models, the latter employing a version of Plotkin's resumptions. The operational semantics make use of Hennessy's and Plotkin's transition systems. All models are built on metric structures, and involve continuations in an essential way. The languages studied are abstractions of the parallel object-oriented language POOL for which we have designed separate operational and denotational semantics in earlier work. The paper provides a full analysis of the relationship between the two semantics for these abstractions. Technically, a key role is played by a new operator which is able to decide dynamically whether it should act as sequential or parallel composition.

show abstract

Section: Equivalence Of Operational and Denotational Semanticsmentioning

confidence: 99%

Designing equivalent semantic models for process creation

America

Bakker²

1988

Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

“…(3) A branching time denotational semantics based on a process domain of the kind described in Section 2.3 [ 11]. The equivalence of the models in (1) and (2) has been established in [14], the equivalence of the model in (1) and the denotational metric model is proved in [13], and the relationship between the branching time model and (any of) the linear time models is settled in [ 11 ].…”

Section: Equivalence Of Operational and Denotational Semanticsmentioning

confidence: 99%

Designing equivalent semantic models for process creation

America

Bakker²

1987

Mathematical Models for the Semantics of Parallelism

View full text Add to dashboard Cite

Abstract. Operational and denotational semantic models are designed for languages with process creation, and the relationships between the two semantics are investigated. The presentation is organized in four sections dealing with a uniform and static, a uniform and dynamic, a non uniform and static, and a nonuniform and dynamic language respectively. Here uniform/nonuniform refers to a language with uninterpreted/interpreted elementary actions, and static/dynamic to the distinction between languages with a fixed/ growing number of parallel processes. The contrast between uniform and nonuniform is reflected in the use of linear time versus branching time models, the latter employing a version of Plotkin's resumptions. The operational semantics make use of Hennessy's and Plotkin's transition systems. All models are built on metric structures, and involve continuations in an essential way. The languages studied are abstractions of the parallel object-oriented language POOL for which we have designed separate operational and denotational semantics in earlier work. The paper provides a full analysis of the relationship between the two semantics for these abstractions. Technically, a key role is played by a new operator which is able to decide dynamically whether it should act as sequential or parallel composition.

show abstract

“…In addition, for the metric models as we use them, the requirement that all sets considered be closed is vital, and the metric theory fails when phenomena inducing nonclosed sets are encountered. Examples of comparative studies, in particular relating to the "elemental" combination of recursion with merge, are [8], [9]. An extensive application of order-theoretic tools, specifically to deal with fair merge (the result of which is in general nonclosed) is described in [19].…”

Section: Introductionmentioning

confidence: 99%

Metric semantics for concurrency

Bakker

Meyer

1988

BIT

Self Cite

View full text Add to dashboard Cite

Abstract.An overview is given of work we have done in recent years on the semantics of concurrency, concentrating on semantic models built on metric structures. Three contrasting themes are discussed, viz. (i) uniform or schematic versus nonuniform or interpreted languages; (ii) operational versus denotational semantics, and (iii) linear time versus branching time models. The operational models are based on Plotkin's transition systems. Language constructs which receive particular attention are recursion and merge, synchronization and global nondeterminacy, process creation, and communication with value passing. Various semantic equivalence results are established. Both in the definitions and in the derivation of these equivalences, essential use is made of Banach's theorem for contracting functions.1985 Mathematics Subject Classification: 68Q55, 68Ql0.

show abstract

Order and metric in the stream semantics of elemental concurrency

Cited by 10 publications

References 17 publications

Designing equivalent semantic models for process creation

Designing equivalent semantic models for process creation

Designing equivalent semantic models for process creation

Metric semantics for concurrency

Contact Info

Product

Resources

About