Specification of concurrently executable modules and distributed modular systems - Weber, H.; Ehrig, H. (Workshop on the Future Trends of Distributed Computing Systems in the 1990s: Proceedings, 1988)
Keywords: Concurrent computing; Constraint theory; Modular construction; Productivity; Programming; Psychology; Seals; Software quality; Software systems; Specification languages