On priority in COSY

DOI10.1016/0304-3975(90)90137-7zbMath0701.68026OpenAlexW2018790290MaRDI QIDQ914367

Felicja Okulicka

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

zbMATH Keywords

concurrent systemssemanticsspecificationverification of concurrent programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

On priority in COSY ⋮ Petri net semantics of priority systems

Uses Software

• COSY

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

This page was built for publication: On priority in COSY