Logic programming for real-time control of telecommunication switching systems
- 31 March 1990
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 8 (1-2), 121-144
- https://doi.org/10.1016/0743-1066(90)90054-9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Concurrent Prolog: A Progress ReportComputer, 1986
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.ACM Transactions on Programming Languages and Systems, 1984
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965