A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3917476 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4134908 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4151708 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3206309 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Can programming be liberated from the von Neumann style? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4125720 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4195917 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Program. construction. International summer school / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5339752 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3919053 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parameter passing in nondeterministic recursive programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3911357 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transformational semantics for concurrent programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4746778 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A systematic approach to language constructs for concurrent programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3871894 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3912057 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4192046 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3886833 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stream Processing Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4053084 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4076730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proving termination with multiset orderings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Programming as a Discipline of Mathematical Nature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4151136 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3911367 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on conditional expressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3862437 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4159365 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A mathematical semantics for a nondeterministic typed lambda-calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4172940 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communicating sequential processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4054644 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4138147 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3888522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5799732 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Correspondence between ALGOL 60 and Church's Lambda-notation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A network of microprocessors to execute reduction languages, part II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The correctness of nondeterministic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inductive methods for proving properties of programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5601829 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4077434 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143228 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3888505 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3906397 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Powerdomain Construction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: LCF considered as a programming language / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3661543 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Power domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new implementation technique for applicative languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4092932 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(86)90040-x / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2065927961 / rank | |||
Normal rank |
Latest revision as of 09:48, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A theory for nondeterminism, parallelism, communication, and concurrency |
scientific article |
Statements
A theory for nondeterminism, parallelism, communication, and concurrency (English)
0 references
1986
0 references
An applicative language is introduced for representing concurrent programs and communicating systems in the form of mutually recursive systems of nondeterministic equations for functions and streams. Mathematical semantics is defined by associating particular fixed points with such systems. These fixed points are chosen using a combination of several complete partial orderings. Operational semantics is described in the form of term rewriting rules, consistent with the mathematical semantics. It represents data-driven reduction semantics for usual expressions and data-driven data flow semantics in the case of recursive stream equations. So the language allows to treat the basic semantic notions of nondeterminism, parallelism, communication, and concurrency for multiprogramming in a completely formal, applicative framework. In particular, it provides a semantic theory for networks of loosely coupled, nondeterministic, communicating, stream processing functions. Finally, the relationship of the presented language to partial recursive functions and nonconventional models such as data flow and reduction machines is shown.
0 references
concurrent programs
0 references
communicating systems
0 references
mutually recursive systems of nondeterministic equations
0 references
fixed points
0 references
Operational semantics
0 references
rewriting rules
0 references
data flow semantics
0 references
recursive stream equations
0 references
multiprogramming
0 references
stream processing functions
0 references
partial recursive functions
0 references
reduction machines
0 references