Back to Results
First PageMeta Content
Programming language semantics / Logic in computer science / Operational semantics / BRIC / Peter Mosses / Gordon Plotkin / Congruence relation / Theoretical computer science / Mathematics / Formal methods


BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science
Add to Reading List

Document Date: 2004-08-23 08:48:12

Open Document

File Size: 1,05 MB

Share Result on Facebook

City

Edinburgh / /

Country

Denmark / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / Computer Science University of Aarhus Denmark An Abstract Coalgebraic Approach / /

Organization

Faculty of Science / Operational Semantics Bartosz Klin PhD Dissertation Department / Danish National Research Foundation / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Computer Science University / /

Person

Jan Rutten / Daniele Turi / Karen Møller / Marcelo Fiore / Hanne Jensen / Gordon Plotkin / Peter D. Mosses / Ingrid Larsen / Lene Kjeldsteen / Janne Christensen / Behaved Operational Semantics Bartosz Klin / Karina / Uffe Engberg / /

/

Position

supervisor / /

ProgrammingLanguage

C / /

URL

ftp /

SocialTag