Cirstea, Horatiu; Faure, Germain; Kirchner, Claude A \(\rho\)-calculus of explicit constraint application. (English) Zbl 1115.68094 High.-Order Symb. Comput. 20, No. 1-2, 37-72 (2007). MSC: 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI Link
Cervesato, Iliano; Stehr, Mark-Oliver Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. (English) Zbl 1115.68073 High.-Order Symb. Comput. 20, No. 1-2, 3-35 (2007). MSC: 68P25 68Q42 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael A new generic scheme for functional logic programming with constraints. (English) Zbl 1115.68048 High.-Order Symb. Comput. 20, No. 1-2, 73-122 (2007). MSC: 68N17 68N18 × Cite Format Result Cite Review PDF Full Text: DOI
Ölveczky, Peter Csaba; Meseguer, José Semantics and pragmatics of real-time maude. (English) Zbl 1115.68095 High.-Order Symb. Comput. 20, No. 1-2, 161-196 (2007). MSC: 68Q42 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Meseguer, José; Thati, Prasanna Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. (English) Zbl 1115.68079 High.-Order Symb. Comput. 20, No. 1-2, 123-160 (2007). MSC: 68P25 × Cite Format Result Cite Review PDF Full Text: DOI