Author:
Fantechi Alessandro,Najm Elie,Stefani Jean-Bernard
Publisher
Springer International Publishing
Reference57 articles.
1. Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73–132 (1993).
https://doi.org/10.1145/151646.151649
2. de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE-01. Software Engineering Notes, vol. 26, p. 5. ACM Press (2001)
3. Alrahman, Y.A., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Wainwright, R.L., Corchado, J.M., Bechini, A., Hong, J. (eds.) Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, 13–17 April 2015, pp. 1840–1845. ACM (2015).
https://doi.org/10.1145/2695664.2695668
4. Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Trans. Program. Lang. Syst. 15(4), 575–631 (1993).
https://doi.org/10.1145/155183.155231
5. Bernardeschi, C., Dustzadeh, J., Fantechi, A., Najm, E., Nimour, A., Olsen, F.: Consistent semantics and correct transformations for the ODP information and computational models. In: Proceedings of 2nd IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS). Chapman & Hall, Canterbury, July 1997