Enhanced operational semantics
ACM Computing Surveys (CSUR)
Combinatory formulations of concurrent languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
Making random choices invisible to the scheduler
Information and Computation
Hi-index | 0.03 |