# Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically

> Research article (Logical Methods in Computer Science, 2015) · cited 11× · AI/ML

**Wikidata**: [openalex:W2248132030](https://www.wikidata.org/wiki/openalex:W2248132030)  
**Source**: https://4ort.xyz/entity/bisimulation-of-labelled-state-to-function-transition-systems-coalgebraically