Maxime Gamboni

Learn More
We study the expressive power of asynchronous π-calculus with nested variants (π V a) and of TyCO by means of encodings. TyCO can be seen as a sub-calculus of π V a , in that TyCO only allows one level of variants, the only difference being that π V a requires a separate construct for analysing an input while in TyCO input and value analysis are tightly(More)
  • 1