MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Simulations in coalgebra." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Simulations in Coalgebra Jesse Hughes  
  • by Dept Philosophy Technical, Jesse Hughes, Bart Jacobs — 2003 — Theor. Comp. Sci
  • …Simulations in Coalgebra Jesse Hughes Dept. Philosophy, Technical Univ. Eindhoven, P.O. Box 513…
  • Add To MetaCart
  • Generic forward and backward simulations  
  • by Ichiro Hasuo, Ichiro Hasuo — 2006 — International Conference on Concurrency Theory (CONCUR 2006), volume 4137 of Lect. Notes Comp. Sci
  • …. The slogan is: Forward/backward simulations are lax/oplax morphisms of coalgebras in Kleisli categories…
  • Cited by 8 (3 self) – Add To MetaCart
  • Fixpoint Semantics and Simulation  
  • by Wim H. Hesselink, Albert Thijs, Rd February — 2000 — Theor. Comp. Sci
  • … equations define the same value. 2 3.3 Simulation A G-simulation between a coalgebra (D; ') and a coalgebra…
  • Cited by 4 (1 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB