scientific article; zbMATH DE number 809425

MaRDI QIDQ4853158zbMATH OpenFDO

Authors T. Ruskov, D. Staneva, N. Ruskova

Publication date 25 October 1995

zbMATH Keywords

concurrent computationshighly distributed systems

Mathematics Subject Classification ID

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

Recommendations

• Meta model of concurrent computation. I: Graph Model
• Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching
• Towards modelling actor-based concurrency in term rewriting
• scientific article; zbMATH DE number 4050949
• Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems

Cited in

(6)

• Meta model of concurrent computation. II: Symmetric communication
• scientific article; zbMATH DE number 4043232 (Why is no real title available?)
• Relations between Concurrent-Write Models of Parallel Computation
• Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems
• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
• Models, Languages, and Tools for Concurrent and Distributed Programming

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