Faculdade de Ciencias da Universidade de Lisboa Departamento de Inform'atica Notas para a cadeira de
Download:
|
|
by Vasco T. Vasconcelos
http://www.di.fc.ul.pt/~vv/cadeiras/pc/pc96/notes.ps
Add To MetaCart
Abstract:
Vers~ao muito preliminar. Coment'arios e sugest~oes, carochas e outros erros, resolu ��c~ao dos exerc'icios propostos e demonstra��c~oes em falta s~ao todos bem vindos. Chapter 1
Citations
| 886 | A Calculus of Mobile Processes – Milner, Parrow, et al. - 1992 |
| 383 | Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Stoy - 1977 |
| 281 | Functions as processes – Milner - 1992 |
| 245 | The Lambda Calculus: Its Syntax and Semantics, volume 103 – Barendregt - 1984 |
| 145 | Calculi for interaction – Milner - 1996 |
| 51 | A calculus of communicating systems with label passing – Engberg, Nielsen - 1986 |
| 23 | A Calculus of Communicating – Milner |
