Author:
Filali Mamoun,Ouederni Meriem,Raclet Jean-Baptiste
Publisher
Springer International Publishing
Reference22 articles.
1. Armstrong, J.: Getting Erlang to talk to the outside world. In: Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, ERLANG 2002, pp. 64–72. ACM, New York (2002)
2. Arnold, A.: Finite Transition Systems - Semantics of Communicating Systems. Prentice Hall, Upper Saddle River (1994)
3. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Field, J., Hicks, M.(eds.) POPL, pp. 191–202. ACM (2012)
4. Biswas, D., Gazagnaire, T., Genest, B.: Small logs for transactional services: Distinction is much more accurate than (positive) discrimination. In: HASE, pp. 97–106. IEEE Computer Society (2008)
5. Bouajjani, A., Muscholl, A., Touili, T.: Permutation rewriting and algorithmic verification. Inf. Comput. 205(2), 199–224 (2007)