Topology and category theory in computer science
Hiding and behaviour: an institutional approach
A classical mind
Proof of correctness of object representations
A classical mind
Towards an algebraic semantics for the object paradigm
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Behavioural theories and the proof of behavioural properties
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Towards the one-tiered design of data types and transition systems
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Hi-index | 0.00 |