Back to Results
First PageMeta Content
Constructible universe / Cardinal number / Tree / Net / Limit ordinal / Ordinal arithmetic / Mahlo cardinal / Mathematical logic / Ordinal numbers / Mathematics


Weak Bisimulation Approximants Will Harwood, Faron Moller , and Anton Setzer Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk
Add to Reading List

Document Date: 2006-07-06 06:30:07

Open Document

File Size: 194,88 KB

Share Result on Facebook

City

Cambridge / /

/

Facility

Isaac Newton Institute / University Singleton Park / /

IndustryTerm

transition systems / /

Organization

Weak Bisimulation Approximants Will Harwood / Faron Moller / and Anton Setzer Department of Computer Science / Swansea University / Institute for Mathematical Sciences / /

Person

Anton Setzer / /

Position

first player / player / second author / second player / /

SocialTag