No full text
Contribution to collective works (Parts of books)
Design and proof of communicating sequential processes
Gribomont, Pascal
1987In PARLE Parallel Architectures and Languages Europe
Peer reviewed
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Gribomont, Pascal ;  Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique et intelligence artificielle
Language :
English
Title :
Design and proof of communicating sequential processes
Publication date :
1987
Main work title :
PARLE Parallel Architectures and Languages Europe
Publisher :
Springer
Collection name :
Lecture Notes in Computer Science
Pages :
261-276
Peer reviewed :
Peer reviewed
Available on ORBi :
since 31 July 2015

Statistics


Number of views
39 (1 by ULiège)
Number of downloads
0 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi