scientific article; zbMATH DE number 915855

MaRDI QIDQ4889347zbMATH OpenFDO

Authors

Publication date 5 January 1997

zbMATH Keywords

distributed systemsprioritiesprocess algebras

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A process algebra with distributed priorities
• A process algebra with distributed priorities
• Priority in process algebra.
• Priority and abstraction in process algebra
• Priorities in process algebras

Cited in

(4)

• A process algebra with distributed priorities
• An algebraic framework for urgency
• Priority and abstraction in process algebra
• A process algebra with distributed priorities

Describes a project that uses

Uses Software

• LOTOS

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 Q4889347)