Patrick Viry

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Parallel and distributed programming extensions for mainstream languages based on pi-calculus.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

2002
Equational rules for rewriting logic.
Theor. Comput. Sci., 2002

1999
Elimination of Conditions.
J. Symb. Comput., 1999

1998
Adventures in sequent calculus modulo equations.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1996
Input/Output for ELAN.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

1994
Rewriting: An Effective Model of Concurrency.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1990
Implementing Parallel Rewriting.
Proceedings of the Programming Language Implementation and Logic Programming, 1990


  Loading...