Towards semantics of self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
The continuum as a final coalgebra
Theoretical Computer Science
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Coinductive counting with weighted automata
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Theoretical Computer Science
A coinductive calculus of streams
Mathematical Structures in Computer Science
Observational Coalgebras and Complete Sets of Co-operations
Electronic Notes in Theoretical Computer Science (ENTCS)
A general framework for sound and complete Floyd-Hoare logics
ACM Transactions on Computational Logic (TOCL)
Coinductive correctness of homographic and quadratic algorithms for exact real numbers
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Information and Computation
Connections of coalgebra and semantic modeling
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Hi-index | 0.00 |