Author:
Dapoigny Richard,Barlatier Patrick,Benoit Eric,Foulloy Laurent
Reference35 articles.
1. Abadi, M. and Lamport, L. (1993). Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73–132.
2. Barringer, H. (1986). Using temporal logic in the compositional specification of concurrent systems. Technical Report UMCS-86-10-1, Dpt of Computer Science Univ. of Manchester.
3. Barwise, J. and Seligman, J. (1997). Information flow - The logic of distributed systems, volume 44 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
4. Chen, X. and de Giacomo, G. (1999). Reasoning about nondeterministic and concurrent actions: a process algebra approach. Artificial Intelligence, 107:63–98.
5. Chittaro, L., Guida, G., Tasso, C., and Toppano, E. (1993). Functional and teleological knowledge in the multimodelling approach for reasoning about physical sytems: a case study in diagnosis. IEEE Transactions on Systems Man and Cybernetics, 23(6):1718–1751.