Topology and category theory in computer science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
Observational specifications and the indistinguishability assumption
Theoretical Computer Science
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
Swinging Data Types: Syntax, Semantics, and Theory
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Institution-independent Ultraproducts
Fundamenta Informaticae
Hi-index | 0.00 |