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

(10)

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

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)