Back to Results
First PageMeta Content
Philosophical logic / Category theory / Theoretical computer science / Modal logic / Bisimulation / Logic in computer science / Kripke semantics / F-coalgebra / Monoid / Mathematics / Abstract algebra / Logic


Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource
Add to Reading List

Document Date: 2010-10-27 04:45:47

Open Document

File Size: 229,46 KB

Share 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