POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Onion: a methodology for developing data-dominant systems from building blocks
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
CSP, partial automata, and coalgebras
Theoretical Computer Science
On institutions for modular coalgebraic specifications
Theoretical Computer Science
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Relaxed models for rewriting logic
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Total Approach to Partial Algebraic Specification
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Complete Categorical Equational Deduction
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
On the algebraic structure of declarative programming languages
Theoretical Computer Science
An encoding of partial algebras as total algebras
Information Processing Letters
A (Co)algebraic analysis of synchronization in CSP
WADT'06 Proceedings of the 18th international conference 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
Coinduction for preordered algebra
Information and Computation
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Cofree coalgebras for signature morphisms
Formal Methods in Software and Systems Modeling
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
Hi-index | 0.01 |