Back to Results
First PageMeta Content
Computer science / Formal methods / Logic in computer science / Programming language semantics / Diagrams / Petri net / Process calculus / State transition system / Formal language / Models of computation / Theoretical computer science / Concurrency


Document Date: 2001-11-07 07:43:47

Open Document

File Size: 853,24 KB

Share Result on Facebook

Company

Oxford University Press / /

Country

Denmark / /

Event

Reorganization / Product Issues / /

Facility

Aarhus University / /

IndustryTerm

reactive systems / few computational systems / distributed computing / distributed computational systems / transition systems / asynchronous transition systems / distributed systems / sequential computational systems / reason such systems / /

Organization

Aarhus University / Glynn Winskel Mogens Nielsen Computer Science Department / Oxford University / /

Product

state insisting / /

Technology

random access / /

SocialTag