Patrick Viry

According to our database, Patrick Viry authored at least 7 papers between 1990 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Parallel and distributed programming extensions for mainstream languages based on pi-calculus.

Patrick Viry

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

2002

Equational rules for rewriting logic.

Patrick Viry

Theor. Comput. Sci., 2002

1999

Elimination of Conditions.

Patrick Viry

J. Symb. Comput., 1999

1998

Adventures in sequent calculus modulo equations.

Patrick Viry

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1996

Input/Output for ELAN.

Patrick Viry

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

1994

Rewriting: An Effective Model of Concurrency.

Patrick Viry

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1990

Implementing Parallel Rewriting.

Claude Kirchner, Patrick Viry

Proceedings of the Parallelization in Inference Systems, 1990