Click on a search word OR use the drop-down choices to search for a paper.

Show all

1997

Bicarregui, JC; Lano, KC; Maibaum, TSE

Towards a Compositional Interpretation of Object Diagrams Journal Article

In: Algorithimic Languages and Calculi, pp. 187, 1997.

BibTeX | Tags: action logic, encapsulation, formal methods, object calculus, temporal logic