Note on some order properties related to processes semantics. I

MaRDI QIDQ3410000zbMATH OpenFDO

Authors Dragoş Vaida

Publication date 21 November 2006

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1543345
• Ordered semirings and rings
• Structure of ordered semirings
• scientific article; zbMATH DE number 5214
• scientific article; zbMATH DE number 3922007

Cited in

(4)

• An extension of a Y. C. Yang theorem
• Finitary coalgebraic multisemilattices and multilattices.
• scientific article; zbMATH DE number 5214 (Why is no real title available?)
• A coalgebraic approach to non-determinism: applications to multilattices

This page was built for publication: Note on some order properties related to processes semantics. I

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