On priority in COSY

DOI10.1016/0304-3975(90)90137-7MaRDI QIDQ914367zbMATH OpenOpenAlexFDO

Authors 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

semanticsspecificationconcurrent systemsverification of concurrent programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3907756
• A formal semantics for concurrent systems with a priority relation
• scientific article; zbMATH DE number 4018373
• On the expressibility of priority
• scientific article; zbMATH DE number 3902013

Cites work

• scientific article; zbMATH DE number 3843142 (Why is no real title available?)
• scientific article; zbMATH DE number 3850481 (Why is no real title available?)
• scientific article; zbMATH DE number 3896328 (Why is no real title available?)
• scientific article; zbMATH DE number 3902013 (Why is no real title available?)
• scientific article; zbMATH DE number 3669869 (Why is no real title available?)
• scientific article; zbMATH DE number 3679171 (Why is no real title available?)
• scientific article; zbMATH DE number 3696510 (Why is no real title available?)
• scientific article; zbMATH DE number 3725684 (Why is no real title available?)
• scientific article; zbMATH DE number 3740749 (Why is no real title available?)
• scientific article; zbMATH DE number 3755835 (Why is no real title available?)
• scientific article; zbMATH DE number 3463159 (Why is no real title available?)
• scientific article; zbMATH DE number 3602688 (Why is no real title available?)
• A formal semantics for concurrent systems with a priority relation
• An investigation of controls for concurrent systems based on abstract control languages
• COSY - a system specification language based on paths and processes
• Formal semantics of a class of high-level primitives of coordinating concurrent processes
• On priority in COSY

Cited in

(4)

• A formal semantics for concurrent systems with a priority relation
• Petri net semantics of priority systems
• On priority in COSY
• scientific article; zbMATH DE number 3907756 (Why is no real title available?)

Describes a project that uses

Uses Software

• COSY

This page was built for publication: On priority in COSY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q914367)