Toward the concurrent implementation of computational systems

DOI10.1007/3-540-61735-3_1MaRDI QIDQ2956709zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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)