Object-Oriented Database as a Dynamic System with Implicit State
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
State-Based Extensions of CASL
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
| Hi-index | 0.00 |