Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Translationg OBJ3 into CASL: The Institution Level
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Formalising Ontologies and Their Relations
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science
Pushout: a mathematical model of architectural merger
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Order-sorted parameterization and induction
Semantics and algebraic specification
| Hi-index | 0.00 |