A calculus of communicating systems

Milner, Robin
Inngår i serie: Lecture notes in computer science (92)
Bok · Engelsk · 1980
Vis mer

The Russians

Milner-Gulland, R. R.
Inngår i serie: The Peoples of Europe
Bok · Engelsk · 1997
Vis mer

Communication and concurrency

Milner, Robin
Inngår i serie: Prentice Hall international series in computer science
Bok · Engelsk · 1989
Vis mer

Edinburgh LCF : a mechanised logic of computation

Gordon, Michael J. C.
Inngår i serie: Lecture notes in computer science (78)
Bok · Språk ikke angitt · 1979
Vis mer

The definition of Standard ML

Milner, Robin
Bok · Engelsk · c1990
Vis mer