"An Open Approach for the Applied Pi Calculus."

Han Zhu, Yonggen Gu, Xiaohong Wu (2008)

Details and statistics

DOI: 10.4304/JSW.3.9.44-51

access: closed

type: Journal Article

metadata version: 2023-08-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics