- Opin vísindi
- →
- Háskólinn í Reykjavík
- →
- Doktorsritgerðir - HR
- →
- Browsing Doktorsritgerðir - HR by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Doktorsritgerðir - HR by Subject "Merkingarfræði"
Now showing items 1-2 of 2
-
(Háskólinn í Reykjavík, 2012-12-09)Structural Operational Semantics (SOS) is one of the most natural ways for providing programming languages with a formal semantics. Results on the meta-theory of SOS typically (but not solely) say that if the inference rules used in writing the semantic ... -
(2022-10-17)Concurrency as a phenomenon is observed in most of the current computer science trends. However the inherent complexity of analyzing the behavior of such a system is incremented due to the many different models of concurrency, the variety of applications ...
Now showing items 1-2 of 2