Образ правової системи як детермінанта правової поведінки особистості

An existing axiomatization strategy for process algebras modulo bisimulation semantics can be extended so that it can be applied to other behavioural semantics as well. We study term rewriting properties of the resulting axiomatizations. © 2012 The Author. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved

Cones and foci for protocol verification revisited

We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between data objects. Compared to the original cones and foci method from Groote and Springintveld cite{GroSpr01}, our method is more generally applicable, and does not require a preprocessing step to eliminate $au$-loops. We prove soundness of our approach and give an application

Особливості емоційного вигорання педагогів із різним стажем роботи

зв'язку з великою емоційною напруженістю професійної діяльності педагога, нестандартністю педагогічних ситуацій, відповідальністю і складністю професійної праці вчителя, збільшується ризик розвитку синдрому «емоційного вигорання». При цьому дуже мало звертається уваги на діючі ефективні психолого- педагогічні та медичні технології, які спрямовані на збереження здоров'я педагога, що знижують ризик формування синдрому «емоційного вигорання» і появи кризи професії в цілому

Ntyft/ntyxt rules reduce to ntree rules

Groote and Vaandrager introduced the tyft/tyxt format for Transition System Specifications (TSSs), and established that for each TSS in this format that is well-founded, the bisimulation equivalence it induces is a congruence. In this paper, we construct for each TSS in tyft/tyxt format an equivalent TSS that consists of tree rules only. As a corollary we can give an affirmative answer to an open question, namely whether the well-foundedness condition in the congruence theorem for tyft/tyxt can be dropped. These results extend to tyft/tyxt with negative premises and predicates

State of Utah v. Albert Ross : Brief of Appellant

Appeal from the Judgment of the Second District Court for Weber County, State of Utah, the Honorable Ronald O. Hude, Judge presiding