共 50 条
- [31] Java']Java4P: Java']Java with high-level concurrency constructs FOURTH INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN'99), PROCEEDINGS, 1999, : 328 - 333
- [35] Specifying Reusable Components VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2010, 6217 : 127 - 141