Thatte, Generalisation of Final Algebra Semantics by Relativisation, LNCS 442 (1990)

by Lawrence S Moss, R Satish
Results 1 - 1 of 1

Final Universes of Processes

by Peter Aczel - PROC. MATH. FOUNDATIONS OF PROGRAMMING SEMANTICS. SPRINGER LECT. NOTES COMP. SCI. (802 , 1994
"... We describe the final universe approach to the characterisation of semantic universes and illustrate it by giving characterisations of the universes of CCS and CSP processes. ..."
Abstract - Cited by 16 (1 self) - Add to MetaCart
We describe the final universe approach to the characterisation of semantic universes and illustrate it by giving characterisations of the universes of CCS and CSP processes.