共 50 条
- [44] Coalgebraic semantics for component systems ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS, 2006, 3938 : 245 - 261
- [45] Preorders on Monads and Coalgebraic Simulations FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 145 - 160
- [46] Types of sperm structure and corresponding types of ovum structure Hunan Shifan Daxue Ziran Kexue Xuebao/Natural Sciences Journal of Hunan Normal University, 1992, 15 (02):
- [47] Simplified coalgebraic trace equivalence Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8950 : 75 - 90