Relation algebra with multi-relations

References

• QAC™ 3.1 User Guide and Reference Manual Programming Research Ltd. 1993
   Google Scholar
• Roosen M. Design visualisation definition and concepts Philips internal report RWB~508-re-94040 1994
   Google Scholar
• Feijs L.M.G. van Ommering R. C. The theory of relations and its applications to software structuring 1ST report RWB-510-re-95011 1995
   Google Scholar
• Feijs L.M.G. Krikhaar R. L. van Ommering R. C. A relational approach to software architecture analysis 1997 Submitted to Software Practice and Experience
   Google Scholar
• FeijsL. M. G. Architecture analysis and visualisation: motivation and example IST report RWB-510-re-95042 Philips research 1995
   Google Scholar
• Murphy G. C. Notkin D. Sullivan K. Reflecting source code relations in higher-level modules of software systems Technical report 94-09-03 Department of computer science and engineering, University of Washington 1994 or see www.cs/ washington.edu/research/tr/teehreports.html
   Google Scholar
• Warshall , S. 1962 . A Theorem on Boolean matrices . JACM , 9 : 11 – 12 .
   Google Scholar
• Schmidt , G. and Ströhlein , T. 1993 . Relations and Graphs , Springer-Verlag .
   Google Scholar
• Berghammer , R. , von Karger , B. and Ulke , C. . Relation-algebraic analysis of Petrinets with RELVIEW . Proc.2nd Workshop “Tools and Applications for the Construction and Analysis of Systems . 1996 . Edited by: Margaria , T. and Steffen , B. pp. 49 – 69 . Berlin : Springer . (TACAS ′96)”, Passau, 27.3-29.3, 1996, LNCS 1055 Heidelburg-New York
   Google Scholar
• Peters van Ton M. de Rooij M. Trum J. Programma's voor relatie algebra TUE stage verslag 1995
   Google Scholar
• Feijs L. van Ommering R. C. An elegant formulation and derivation of Warshall's algorithm and generalisations Philips research 1996 Manuscript M. S. 18.813
   Google Scholar