Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science ,
1
Modelling the Transition to Distributed Ledgers:
, In:
?
3
Communicating sequential processes
the first 25 Years ; Symposium on the Occasion of 25 Years ...
Lecture notes in computer science ; 3525;Festschrift
?
4
Communicating Sequential Processes. The First 25 Years
Symposium on the Occasion of 25 Years of CSP, London, UK, J...
Lecture Notes in Computer Science ; 3525
?
Massachusetts General Hospital Handbook of General Hospital Psychiatry ,
11