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
UPDATE