Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Architectural issues in network-centric computing
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |