Sciweavers

Share
19 search results - page 1 / 4
» esop 2005
Sort
View
ESOP
2005
Springer
10 years 8 months ago
BI Hyperdoctrines and Higher-Order Separation Logic
Bodil Biering, Lars Birkedal, Noah Torp-Smith
ESOP
2005
Springer
10 years 8 months ago
Deciding Reachability in Mobile Ambients
Mobile Ambients has been proposed by Cardelli and Gordon
Nadia Busi, Gianluigi Zavattaro
books