On priority in COSY (Q914367): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: COSY / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(90)90137-7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2018790290 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3890123 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3319781 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3313265 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An investigation of controls for concurrent systems based on abstract control languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4048566 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3680255 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A formal semantics for concurrent systems with a priority relation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal semantics of a class of high-level primitives of coordinating concurrent processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3939202 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3875334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: COSY - a system specification language based on paths and processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4168078 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On priority in COSY / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3925868 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867194 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3675545 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3914418 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:44, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On priority in COSY |
scientific article |
Statements
On priority in COSY (English)
0 references
1990
0 references
verification of concurrent programs
0 references
concurrent systems
0 references
specification
0 references
semantics
0 references
0 references
0 references