Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofCo
In this paper, an interval-gap-based 1NF temporal tuple calculus language and the corresponding temporal relation algebra are established on the basis of consid
The MX3101 E3/E1 Multiplexer/Demultiplexer(M13)device with digital cross-connec-tors is the first industrial semiconductor chip which can provide the whole circ