On priority in COSY (Q914367): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| 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 | |||
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
