yr 〜
yr

Search results 4

A distributed pi-calculus

A distributed pi-calculus
Paper図書
Matthew HennessyCambridge University Pressc2007
Other Libraries in Japan
  • Author HeadingHennessy, Matthew

プログラミング言語の意味論入門 (Information & computing ; 76)

プログラミング言語の意味論入門 (Information & computing ; 76)
PaperDigital図書
M.ヘネシー 著, 荒木啓二郎, 程京徳 訳サイエンス社1993.12<M159-E2969>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHennessy, Matthew 荒木, 啓二郎, 1954- 程, 京徳

The semantics of programming languages : an elementary introduction using structural operational semantics

The semantics of programming languages : an elementary introduction using structural operational semantics
Paper図書
Matthew HennessyWileyc1990
Other Libraries in Japan
  • Author HeadingHennessy, Matthew

Algebraic theory of processes

Algebraic theory of processes
Paper図書
Matthew HennessyMIT Pressc1988
Other Libraries in Japan
  • Author HeadingHennessy, Matthew

Reached to the end of result.