Formal Techniques for Distributed Objects, Components, and Systems
No description available.
Electronic data processing, distributed processingComputer network protocolsSystem designSoftware engineeringComputer scienceLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesMathematical Logic and Formal Languages