La lecture à portée de main
Auteur
Suivre Hugo Venturini
Documents
Translation of Pi-Calculus into IF-2.0, a language for classical transition system
Hugo Venturini
Documents
Translation of Pi-Calculus into IF-2.0, a language for classical transition system
Hugo Venturini
29 pages
English
Documents
Translation of ambient-calculus into IF-2.0, a language for classical transition systems
Hugo Venturini
Documents
Translation of ambient-calculus into IF-2.0, a language for classical transition systems
Hugo Venturini
55 pages
English