scientific article; zbMATH DE number 3907756

MaRDI QIDQ3685178zbMATH OpenFDO

Authors Felicja Okulicka

Publication date 1985

zbMATH Keywords

priority relationCOSY systemJanicki's semanticsnon-priority path systemPC-path system

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Recommendations

• On priority in COSY
• A formal semantics for concurrent systems with a priority relation
• Petri net semantics of priority systems
• Priority rewriting: Semantics, confluence, and conditionals
• scientific article; zbMATH DE number 3902013

Cited in

(2)

• A formal semantics for concurrent systems with a priority relation
• On priority in COSY

This page was built for publication:

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