scientific article; zbMATH DE number 3907756

zbMATH Open0568.68019MaRDI QIDQ3685178FDOQ3685178

Authors: Felicja Okulicka 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

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)