Parallel dynamic semantics of sequential programs with speculative and incremental computation
From MaRDI portal
Publication:1364092
DOI10.1007/BF02366540zbMath0887.68065MaRDI QIDQ1364092
Publication date: 25 May 1998
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- History and basic features of the critical-pair/completion procedure
- Mixed computation: potential applications and problems for study
- Conditional rewriting logic as a unified model of concurrency
- Computations in APS
- Parallel computation of Gröbner bases on distributed memory machines
- Strategy-accurate parallel Buchberger algorithms