M. Abadi and L. Lamport, Composing Specifications, ACM Transactions on Programming Languages and Systems, vol.15, pp.73-132, 1993.
DOI : 10.1007/3-540-52559-9_59

M. Abadi and G. D. Plotkin, A logical view of composition, Theoretical Computer Science, vol.114, pp.3-30, 1993.
DOI : 10.1016/0304-3975(93)90151-i

URL : https://doi.org/10.1016/0304-3975(93)90151-i

L. De-alfaro and T. A. Henzinger, Interface Automata, Foundation of Software Engineering (ESEC/FES-9, pp.109-120, 2001.

E. Badouel, L. Hélouët, G. Kouamou, C. Morvan, R. Fondze-jr et al., Active Workspaces; Distributed Collaborative Systems based on Guarded Attribute Grammars, ACM SIGAPP Applied Computing Review, vol.15, issue.3, pp.6-34, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01237131

D. Harel and A. Pnueli, On the development of reactive systems, Logics Models of Concurrent Systems, vol.13, pp.477-498, 1984.

P. M. Merlin and G. Von-bochmann, On the construction of submodule specifications and communication protocols, ACM Transactions on Programming Languages and Systems, vol.5, pp.1-25, 1983.

R. Fondze, J. R. Nsaibirni, E. Badouel, G. Texier, and G. Kouamou, Active Workspace: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems, Health Informatics and Medical Systems, pp.58-64, 2016.

V. R. Pratt, Origins of the Calculus of Binary Relations, IEEE Logic in Computer Science (LICS'92), pp.248-254, 1992.

J. Raclet, Residual for Component Specifications, Electronic Notes in Theoretical Computer Science, vol.215, pp.93-110, 2008.
DOI : 10.1016/j.entcs.2008.06.023

URL : https://hal.archives-ouvertes.fr/inria-00142027

G. Shafer, A mathematical theory of evidence, 1976.

L. Zadeh, Fuzzy Sets as the Basis for a Theory of Possibility, Fuzzy Sets and Systems, vol.1, pp.3-28, 1978.