Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Symbolic Semantics"”.
-
Symbolic semantics for CSP
… concurrent systems, for which a transition semantics has been given by Brookes, Hoare and Roscoe. In this thesis, we present a generalized transition semantics of CSP, which we call HCSP, that merges the original transition system with ideas from Floyd-Hoare logic and symbolic computation. …
-
Writing the New Life: Literary Form in the Spiritual Imagination of Middle-Class Ethical Socialism, 1880–1900
… and collectivism by blending the collective symbolic semantics of allegory with the intrinsic individuality of the bourgeois-realist novel. Together, the four case studies show that literary form occupied an epistemically overcharged role within the late-Victorian collocation of class, …