Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Programming Languages
  4. A congruence rule format for name−passing process calculi

A congruence rule format for name−passing process calculi

Marcelo P. Fiore and Sam Staton

Journal
Inf. Comput.
Number
2
Pages
209–236
Volume
207
Year
2009

Links

See Also

Back to Top