Toward the concurrent implementation of computational systems
DOI10.1007/3-540-61735-3_1zbMATH Open1355.68045OpenAlexW1597535392MaRDI QIDQ2956709FDOQ2956709
Authors: Ilies Alounini, Claude Kirchner 
Publication date: 19 January 2017
Published in: Algebraic and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61735-3_1
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (12)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Computational Models for Information Reuse
- Compiling concurrent rewriting onto the Rewrite Rule Machine
- Implementations of the CSP Notation for Concurrent Systems
- Title not available (Why is that?)
- 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)
