Divergence models for atomized statements and parallel choice

[1993] The 2nd Israel Symposium on Theory and Computing Systems Pub Date : 1993-06-07 DOI:10.1109/ISTCS.1993.253466

J. Kok, P. Knijnenburg

{"title":"Divergence models for atomized statements and parallel choice","authors":"J. Kok, P. Knijnenburg","doi":"10.1109/ISTCS.1993.253466","DOIUrl":null,"url":null,"abstract":"The authors study the semantics of a language containing the usual operators of sequential composition, choice and parallel composition. It contains furthermore an atomizer which causes a statement to behave like an atomic action and thus increases the grain size of the parallelism. It follows that 'atomic' actions can be non-deterministic, deadlocking and even diverging. They set out to define a semantics that is an extension of the usual process algebra models. There are several possibilities for this extension (in particular for the choice operator) and they consider the so-called parallel choice. The paper includes the definition of an operational semantics, a denotational semantics and an outline of the proof of correctness. The paper is directed towards the modelling of the divergence. This is already non-trivial due to unbounded nondeterminism introduced by the atomizer: they have to extend the standard stream model. The proof of correctness requires a new technique in which they introduce orderings on proofs of transitions. They also provide an algebraic characterization of the finite part of the language.<<ETX>>","PeriodicalId":281109,"journal":{"name":"[1993] The 2nd Israel Symposium on Theory and Computing Systems","volume":"64 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] The 2nd Israel Symposium on Theory and Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISTCS.1993.253466","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

The authors study the semantics of a language containing the usual operators of sequential composition, choice and parallel composition. It contains furthermore an atomizer which causes a statement to behave like an atomic action and thus increases the grain size of the parallelism. It follows that 'atomic' actions can be non-deterministic, deadlocking and even diverging. They set out to define a semantics that is an extension of the usual process algebra models. There are several possibilities for this extension (in particular for the choice operator) and they consider the so-called parallel choice. The paper includes the definition of an operational semantics, a denotational semantics and an outline of the proof of correctness. The paper is directed towards the modelling of the divergence. This is already non-trivial due to unbounded nondeterminism introduced by the atomizer: they have to extend the standard stream model. The proof of correctness requires a new technique in which they introduce orderings on proofs of transitions. They also provide an algebraic characterization of the finite part of the language.<>

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

原子化语句与并行选择的散度模型

作者研究了包含顺序组合、选择组合和并行组合等常用操作符的语言语义。它还包含一个雾化器，它使语句表现得像原子动作，从而增加并行度的粒度。由此可见，“原子”行为可以是不确定的、死锁的，甚至是发散的。他们开始定义一种语义，这是通常的过程代数模型的扩展。这个扩展有几种可能性(特别是对于选择运算符)，他们考虑了所谓的并行选择。本文包括操作语义、指称语义的定义和正确性证明的概要。本文的目的是建立散度的模型。由于雾化器引入的无界不确定性，这已经很重要了:它们必须扩展标准流模型。正确性的证明需要一种新的技术，在转换的证明中引入排序。它们还提供了语言有限部分的代数表征。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

[1993] The 2nd Israel Symposium on Theory and Computing Systems

自引率

0.00%

发文量

期刊最新文献

Adaptive source routing in high-speed networks Approximating bounded 0-1 integer linear programs Optimal speedup of Las Vegas algorithms Analog computation via neural networks Maintaining the 4-edge-connected components of a graph on-line