scientific article; zbMATH DE number 64180

MaRDI QIDQ4013373zbMATH OpenFDO

Authors M. Belmesk, Zineb Habbas

Publication date 27 September 1992

zbMATH Keywords

communicationprocess algebrashared variables

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 781171
• A complete modal proof system for HAL: the Herbrand agent language
• Algèbre de processus et synchronisation
• scientific article; zbMATH DE number 4062561
• Full abstraction for a shared-variable parallel language

Describes a project that uses

Uses Software

• HAL

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