On priority in COSY
From MaRDI portal
Publication:914367
DOI10.1016/0304-3975(90)90137-7zbMath0701.68026MaRDI QIDQ914367
Publication date: 1990
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(90)90137-7
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software
Cites Work
- On priority in COSY
- An investigation of controls for concurrent systems based on abstract control languages
- A formal semantics for concurrent systems with a priority relation
- Formal semantics of a class of high-level primitives of coordinating concurrent processes
- COSY - a system specification language based on paths and processes
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item