Information and Computation · 2002 · 259 citations · 18 references
ComputingComputer SystemsInformation TechnologyDistributed SystemsMobile ComputingMobile SystemsAccess ControlAuthorizationIntelligent AgentsPolicy-based Access ControlResource AllocationResource SharingAgent Communication ModelsAgent CoordinationMulti-agent Resource AllocationPermission ModelsResource Access Control
18
A calculus of mobile processes, I
Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text
Nicholas Carriero, David Gelernter · Communications of the ACM · 1989 · 1.4K citations · Full text
The reflexive CHAM and the join-calculus
Cédric Fournet, Georges Gonthier · 1996 · 453 citations · Full text
Nevin Heintze, Jon G. Riecke · 1998 · 410 citations