Virtual time and virtual space

DOI10.1007/BF01408290zbMath0774.68026OpenAlexW2063560183MaRDI QIDQ685231

Brian Unger, Xining Li, John G. Cleary

Publication date: 30 September 1993

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01408290

zbMATH Keywords

communicationdistributed systembacktracking

Mathematics Subject Classification ID

Logic programming (68N17) Distributed algorithms (68W15)

Uses Software

• CS-Prolog
• Prolog

Cites Work

• Time, clocks, and the ordering of events in a distributed system
• Unnamed Item
• Unnamed Item

This page was built for publication: Virtual time and virtual space