Communicating Process Architectures 2005: WoTUG-28: Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands
Communicating Process Architectures 2005: WoTUG-28: Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands
Summary
Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications.