Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. L. Aceto and M. Hennessy. Towards action-refinement in process algebras. In: Proc. 4th LICS, pages 138–145, IEEE Comp. Soc. 1989.
2. A. Arnold. Transition systems and concurrent processes. In Mathematical problems in Computation Theory, pages 9–20, Banach Center Publication 21, 1987.
3. A. Arnold. Systèmes de transitions finis. Sémantique des processus communicants. Masson, 1992.
4. A. Arnold and P. Guitton. Un modèle de description de protocoles: les réseaux fermés d'automates triphasés. In M. Paul and B. Robinet, editors, 6th International Symposium on Programming, Toulouse, 1984, pages 1–12, Lect. Notes Comput. Sci. 167, 1984.
5. A. Arnold and M. Nivat. Comportements de processus. In Les Mathématiques de l'Informatique, pages 35–68, Colloque AFCET, Paris, 1982.