Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
On local modularity and interpolation in entailment systems
Information Processing Letters
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
An Algebraic Framework for Separate Type-Checking
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Algebraic Semantics of Coordination or What Is in a Signature
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
The Situation and State Calculus versus Branching Temporal Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Structures for Abstract Rewriting
Journal of Automated Reasoning
Closure properties for the class of behavioral models
Theoretical Computer Science
A categorical study on the finiteness of specifications
Information Processing Letters
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Way to Define Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Characterizing locality (encapsulation) with bisimulation
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Fork algebras as a sufficiently rich universal institution
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
An axiomatic approach to structuring specifications
Theoretical Computer Science
Encapsulating deontic and branching time specifications
Theoretical Computer Science
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Studia Logica
Hi-index | 0.00 |