Author:
Henrio Ludovic,Ameur-Boulifa Rabéa,Madelaine Eric
Subject
General Earth and Planetary Sciences,General Environmental Science
Reference33 articles.
1. Higher-level synchronising devices in MEIJE-SCCS. Theoretical;R De Simone;Computer Science,1985
2. A context dependent equivalence between processes;K G Larsen;Theoretical Computer Science,1987
3. A symbolic approach to value-passing processes;A Ing�lfsd�ttir;Handbook of Process Algebra,2001
4. Symbolic bisimulations;M Hennessy;Theoretical Computer Science,1995
5. Symbolic transition graph with assignment;H Lin;Concur'96,1996