Logic programming for real-time control of telecommunication switching systems (Q3477934)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic programming for real-time control of telecommunication switching systems |
scientific article |
Statements
Logic programming for real-time control of telecommunication switching systems (English)
0 references
1990
0 references
switching systems
0 references
PARLOG-RT
0 references
real time programming
0 references
parallel
0 references
programming
0 references
logic programming
0 references
switching system
0 references
labeled transition system
0 references
