Toward the concurrent implementation of computational systems
From MaRDI portal
Publication:2956709
Recommendations
- scientific article; zbMATH DE number 4043232
- Conditional rewriting logic: Deduction, models and concurrency
- Concurrent garbage collection for concurrent rewriting
- Conditional rewriting logic as a unified model of concurrency
- Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
Cited in
(12)- scientific article; zbMATH DE number 7441269 (Why is no real title available?)
- The conflict-free reduction geometry
- The Existential Fragment of the One-Step Parallel Rewriting Theory
- Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
- Reachability in conditional term rewriting systems
- Rewriting conversions implemented with continuations
- scientific article; zbMATH DE number 1497839 (Why is no real title available?)
- Computational Models for Information Reuse
- Compiling concurrent rewriting onto the Rewrite Rule Machine
- Implementations of the CSP Notation for Concurrent Systems
- scientific article; zbMATH DE number 1406167 (Why is no real title available?)
- On the implementation of concurrent calculi in net calculi: two case studies
This page was built for publication: Toward the concurrent implementation of computational systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2956709)