related documents Synthesising Interconnections Conferences The formal reconstruction and speedup of linear time fragment of Willard's relational calculus subset Conferences Towards a Compositional Interpretation of Object Diagrams Conferences
