Jump to main content

yr 〜
yr

Search results 11

The space and motion of communicating agents : pbk : hbk

The space and motion of communicating agents : pbk : hbk
Paper図書
Robin MilnerCambridge University Press2009
Other Libraries in Japan
  • Author HeadingMilner, Robin

Communicating and mobile systems : the π-calculus : hbk : pbk

Communicating and mobile systems : the π-calculus : hbk : pbk
Paper図書
Robin MilnerCambridge University Pressc1999
Other Libraries in Japan
  • Author HeadingMilner, Robin

The definition of standard ML : revised alk. paper

The definition of standard ML : revised alk. paper
Paper図書
Robin Milner ... [et al.]MIT Press1997
Other Libraries in Japan
  • Author HeadingMilner, Robin

Computing tomorrow : future research directions in computer science : hc : pbk.

Computing tomorrow : future research directions in computer science : hc : pbk.
Paper図書
edited by Ian Wand and Robin MilnerCambridge University Pressc1996
Other Libraries in Japan
  • Author HeadingWand, I. C. (Ian C.) Milner, Robin

Commentary on Standard ML : pbk

Commentary on Standard ML : pbk
Paper図書
Robin Milner and Mads TofteMIT Pressc1991
Other Libraries in Japan
  • Author HeadingMilner, Robin Tofte, Mads

Communication and concurrency : pbk

Communication and concurrency : pbk
Paper図書
Robin MilnerPrentice Hall1989
Other Libraries in Japan
  • Author HeadingMilner, Robin

The definition of Standard ML : pbk

The definition of Standard ML : pbk
Paper図書
Robin Milner, Mads Tofte, and Robert HarperMIT Pressc1990
Other Libraries in Japan
  • Author HeadingHarper, Robert Milner, Robin Tofte, Mads

A complete inference system for a class of regular behaviours

A complete inference system for a class of regular behaviours
Paper図書
by Robin MilnerUniversity of Edinburgh, Department of Computer Science1982
Other Libraries in Japan
  • Author HeadingMilner, Robin

A calculus of communicating systems : gw : us

A calculus of communicating systems : gw : us
Paper図書
Robin MilnerSpringer-Verlag1980
Other Libraries in Japan
  • Author HeadingMilner, Robin

Edinburgh LCF : a mechanised logic of computation : gw : us

Edinburgh LCF : a mechanised logic of computation : gw : us
Paper図書
Michael J. Gordon, Arthur J. Milner, Christopher P. WadsworthSpringer-Verlag1980
Other Libraries in Japan
  • Author HeadingGordon, Michael J. C. Milner, Robin Wadsworth, Christopher P.

Edinburgh LCF : a mechanised logic of computation : gw : us

Edinburgh LCF : a mechanised logic of computation : gw : us
Paper図書
Michael J. Gordon, Arthur J. Milner, Christopher P. WadsworthSpringer-Verlag1979
Other Libraries in Japan
  • Author HeadingGordon, Michael J. C. Milner, Robin Wadsworth, Christopher P.

Reached to the end of result.

RSS