Toward the concurrent implementation of computational systems

DOI10.1007/3-540-61735-3_1zbMath1355.68045OpenAlexW1597535392MaRDI QIDQ2956709

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

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Reachability in Conditional Term Rewriting Systems ⋮ The Existential Fragment of the One-Step Parallel Rewriting Theory

This page was built for publication: Toward the concurrent implementation of computational systems