Using message passing for distributed programming: proof rules and disciplines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |