作者:J. W. Bakker,C. Huizing,W. P. Roever,G. Rozenberg
主题词:Computer Communication Networks,Special Purpose and Application-Based Systems,Operating Systems,Computation by Abstract Devices,Logics and Meanings of Programs,Mathematical Logic and Formal Languages