Meta model of concurrent computation. II: Symmetric communication

MaRDI QIDQ2704969zbMATH OpenFDO

Authors Yuxi Fu

Publication date 19 June 2001

Published in Journal of Shanghai Jiaotong University (Chinese Edition) (Search for Journal in Brave)

zbMATH Keywords

concurrent computation models

Mathematics Subject Classification ID

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

Recommendations

• Meta model of concurrent computation. I: Graph Model
• Meta model of concurrent computation. III: Bisimulation lattice
• scientific article; zbMATH DE number 1737289
• Communication in parallel systems : Models, algorithms and implementations
• Symmetry and Concurrency
• Modelling concurrency with semi-commutations
• scientific article; zbMATH DE number 809425
• scientific article; zbMATH DE number 1830926
• scientific article; zbMATH DE number 1873234

Cited in

(4)

• Meta model of concurrent computation. I: Graph Model
• Meta model of concurrent computation. III: Bisimulation lattice
• A proof theoretical approach to communication
• A new proposal of concurrent process calculus

This page was built for publication: Meta model of concurrent computation. II: Symmetric communication

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