LITP Spring School on Theoretical Computer Science.LITP Spring School on Theoretical Computer Science(14th : 1986 : Argeles-Vil)：Automata networks ; proceedings.Springer,1988.
I. Guessarian,LITP Spring School on Theoretical Computer Science.LITP Spring School on Theoretical Computer Science (1990 : La Roche Posay)：Semantics of systems of concurrent processes :L proceedings.Springer-Verlag,1990.
