![Philosophical logic / Category theory / Theoretical computer science / Modal logic / Bisimulation / Logic in computer science / Kripke semantics / F-coalgebra / Monoid / Mathematics / Abstract algebra / Logic Philosophical logic / Category theory / Theoretical computer science / Modal logic / Bisimulation / Logic in computer science / Kripke semantics / F-coalgebra / Monoid / Mathematics / Abstract algebra / Logic](https://www.pdfsearch.io/img/62d4319a22a9fbb637a1e27717178d87.jpg)
| Document Date: 2010-10-27 04:45:47 Open Document File Size: 229,46 KBShare Result on Facebook
City Reykjavik / / Company LG / / Country Spain / / / Facility Reykjavik University / / IndustryTerm labeled transition systems / / Organization School of Computer Science / Universidad Complutense de Madrid / Icelandic Fund for Research / Reykjavik University / / Person Larry Moss / Luca Aceto / Anna Ingolfsdottir / Pawel Sobocinski / Joshua Sack / / Position first author / Prime Minister / Corresponding author / /
SocialTag |