A formal model of active contents based on the ambient calculus
Yasuyuki Tahara*, Nobukazu Yoshioka, Shinichi Honiden
*この研究の対応する著者
研究成果: Chapter
4
被引用数
(Scopus)