Meta model of concurrent computation. I: Graph Model

MaRDI QIDQ2704968zbMATH 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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Meta model of concurrent computation. II: Symmetric communication
• A proof theoretical approach to communication
• scientific article; zbMATH DE number 3970098
• scientific article; zbMATH DE number 4043232
• Workshop on Graph Computation Models

Cited in

(8)

• A proof theoretical approach to communication
• A visual model of computation
• scientific article; zbMATH DE number 809425 (Why is no real title available?)
• Workshop on Graph Computation Models
• scientific article; zbMATH DE number 3970098 (Why is no real title available?)
• A model of dynamical concurrent program execution
• Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs
• Meta model of concurrent computation. II: Symmetric communication

This page was built for publication: Meta model of concurrent computation. I: Graph Model

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