CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects
On linear logic planning and concurrency
Information and Computation
Hi-index | 0.00 |