Author:
Baldan Paolo,Bracciali Andrea,Bruni Roberto
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Abadi, M., Fiore, M.P.: Computing symbolic models for verifying cryptographic protocols. In: Proc. 14th IEEE Computer Security Foundations Workshop, pp. 160–173. IEEE Computer Society Press, Los Alamitos (2001)
2. Aceto, L., Fokkink, W.J., Verhoef, C.: Structural operational semantics. In: Handbook of Process Algebra, pp. 197–292. Elsevier Science, Amsterdam (2001)
3. Allen, R., Garlan, D.: A formal basis for architectural connectors. ACM Transactions on Software Engineering and Methodology 3(6), 213–249 (1997)
4. Lecture Notes in Computer Science;L.F. Andrade,2002
5. Lecture Notes in Computer Science;P. Baldan,2002