Logic programming for real-time control of telecommunication switching systems

DOI10.1016/0743-1066(90)90054-9MaRDI QIDQ3477934zbMATH OpenOpenAlexFDO

Authors Nabiel A. Elshiewy

Publication date 1990

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(90)90054-9

zbMATH Keywords

switching systemslogic programmingparallelprogrammingswitching systemlabeled transition systemreal time programmingPARLOG-RT

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Artificial intelligence (68T99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• Temporal logic programming
• Publication:4723274
• scientific article; zbMATH DE number 4082943
• Publication:4721627
• scientific article; zbMATH DE number 4052975

Cited in

(3)

• Using extended logic programming for alarm-correlation in cellular phone networks
• scientific article; zbMATH DE number 1201684 (Why is no real title available?)
• scientific article; zbMATH DE number 220133 (Why is no real title available?)

This page was built for publication: Logic programming for real-time control of telecommunication switching systems

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