Back to Results
First PageMeta Content
Process calculi / Theoretical computer science / Inter-process communication / Functional languages / Actor model / Π-calculus / Join-calculus / Lambda calculus / Process calculus / Computing / Software engineering / Computer programming


Document Date: 2001-07-27 07:39:36

Open Document

File Size: 577,22 KB

Share Result on Facebook

Company

Microsoft / /

IndustryTerm

abstract chemical abstract machine / wide area network / asynchronous systems / cryptographic protocols / reflexive chemical abstract machine / chemical semantics / /

Organization

Applied Semantics Summer School / /

Person

Georges Gonthier / /

Position

garbage collector / /

ProgrammingLanguage

Objective Caml / ML / JoCaml / C / /

Technology

functional programming / finite state machine / WAN / Simulation / /

SocialTag