181
click to vote
PLDI
2006
ACM
16 years 1 hour ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...