Back to Results
First PageMeta Content
Logic in computer science / Process calculi / Sheaf theory / Π-calculus / Programming language semantics / Bisimulation / Presheaf / Coinduction / Process calculus / Mathematics / Theoretical computer science / Applied mathematics


BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency
Add to Reading List

Document Date: 2001-09-10 12:36:02

Open Document

File Size: 1,44 MB

Share Result on Facebook

Country

Denmark / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / Computer Science University of Aarhus Denmark Presheaf Models / /

Organization

Faculty of Science / Dissertation Department / University of Aarhus / BRICS Department / Computer Science University of Aarhus Ny Munkegade / Computer Science University / /

Person

Dora Carlo / Luca Cattani / Luca Cattani Ph / Gian Carlo / /

/

ProgrammingLanguage

C / /

URL

ftp /

SocialTag