Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
Mateescu, R. ; CONVECS, Inria Grenoble-Rhone-Alpes, Montbonnot Saint-Martin, France ; Poizat, P. ; Salaün, G.