Virtual time and virtual space

DOI10.1007/BF01408290MaRDI QIDQ685231zbMATH OpenOpenAlexFDO

Authors Xining Li, Brian Unger, 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)

Recommendations

• Computing global virtual time in shared-memory multiprocessors
• The implementation of a distributed model for logic programming based on multiple-headed clauses
• Logical time in distributed software systems
• Distributed programming with logic tuple spaces

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• Time, clocks, and the ordering of events in a distributed system

Cited in

(1)

• scientific article; zbMATH DE number 1760137 (Why is no real title available?)

Describes a project that uses

Uses Software

• Prolog
• CS-Prolog

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685231)