Implementing Parallel Rewriting. - Claude Kirchner; Patrick Viry (PLILP, 1990)

Rewriting: An Effective Model of Concurrency. - Patrick Viry (PARLE, 1994)

Input/Output for ELAN. - Patrick Viry (WRLA, 1996)

Adventures in sequent calculus modulo equations. - Patrick Viry (WRLA, 1998)

Elimination of Conditions. - Patrick Viry (J. Symb. Comput., 1999)

Equational rules for rewriting logic. - Patrick Viry (Theor. Comput. Sci., 2002)

Parallel and distributed programming extensions for mainstream languages based on pi-calculus. - Patrick Viry (PODC, 2011)