Action systems, unbounded nondeterminism, and infinite traces (Q1805399): 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 / Wikidata QID | |||
Property / Wikidata QID: Q59626085 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3898009 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stepwise refinement of parallel algorithms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4144755 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3777424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4168046 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994745 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A state-based approach to communicating processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The specification statement / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communicating Sequential Processes. The First 25 Years / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996918 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theoretical basis for stepwise refinement and the programming calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Unbounded Non-determinism in CSP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 14:22, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Action systems, unbounded nondeterminism, and infinite traces |
scientific article |
Statements
Action systems, unbounded nondeterminism, and infinite traces (English)
0 references
4 July 2000
0 references