Formal methods for open object-based distributed systems

Formal methods for open object-based distributed systems
Details
- OL Work ID
- OL19611400W
Subjects
Electronic data processingDistributed processingObject-oriented programming (Computer science)CongressesParallel programming (Computer science)Electronic data processing, distributed processingObject-oriented methods (Computer science)