194 research outputs found
Образ правової системи як детермінанта правової поведінки особистості
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 -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
- …