Back to Results
First PageMeta Content
Computing / Logic in computer science / Operational semantics / Denotational semantics / Semantics / Programming language / Expression / Action semantics / Monad / Software engineering / Theoretical computer science / Programming language semantics


BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science
Add to Reading List

Document Date: 2005-03-21 06:07:46

Open Document

File Size: 327,18 KB

Share Result on Facebook

Country

Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus Aabogade / /

IndustryTerm

concurrent systems / transition systems / /

Organization

Danish National Research Foundation / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Department of Computer Science / University of Aarhus Aabogade / /

Person

Plotkin / Peter D. Mosses / /

/

Position

author / /

ProgrammingLanguage

C / T / /

Technology

dom / /

URL

www.brics.dk / ftp /

SocialTag