The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (Q1190479): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: UNITY / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algèbre de processus et synchronisation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4733376 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692502 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3738540 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-order dynamic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3657417 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3922147 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4745241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Synthesis of Communicating Processes from Temporal Logic Specifications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3929062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Specification-oriented semantics for communicating processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic proof technique for parallel programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proving Liveness Properties of Concurrent Programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A structural approach to operational semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3727371 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Temporal logic can be more expressive / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:44, 16 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) |
scientific article |
Statements
The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (English)
0 references
26 September 1992
0 references
concurrent program design
0 references
program derivation
0 references
proof system
0 references
UNITY
0 references
concurrency
0 references
communication
0 references