Mobbning och social stöd från lärare och klasskamrater: En longitudinell studie av barns erfarenheter av mobbning

Syftet med studien är att undersöka elevers utvecklingsvägar när det gäller upplevd utsatthet för mobbning samt att undersöka hur dessa olika utvecklingsvägar är relaterade till elevers upplevda sociala stöd från lärare och klasskamrater. En longitudinell design tillämpades där 3349 svenska elever i årskursena fyra till nio, besvarade en enkät vid två olika tillfällen, separerat med ett år. Fyra olika grupper kunde identifieras inom datamaterialet (1) ej utsatta elever, elever som inte var utsatta för mobbning vid något av mättillfällena, (2) undkomna offer, elever vars situation förändrades till det bättre, (3) nya offer, elever vars situation försämrades samt (4) fortsatt utsatta elever, elever som var utsatta för mobbning under hela mätperioden. Barn som aldrig varit utsatta för mobbning rapporterade de högsta nivåerna av upplevt socialt stöd från lärare såväl som klasskamrater vid mätning två. Gällande socialt stöd från klasskamrater hade undkomna offer högre nivåer än såväl nya som fortsatt utsatta elever. De nådde dock inte upp till samma nivå som de elever som aldrig varit utsatta för mobbning under mät­perioden. När det gäller lärarstöd fanns dock inga signifikanta skillnader mellan de elever som undkommit mobbning, nya offer eller fortsatt utsatta elever

Psi-calculi: a framework for mobile processes with nominal data and logic

The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. Psi-calculi can capture the same phenomena as other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, the concurrent constraint pi-calculus, and calculi with polyadic communication channels or pattern matching. Psi-calculi can be even more general, for example by allowing structured channels, higher-order formalisms such as the lambda calculus for data structures, and predicate logic for assertions. We provide ample comparisons to related calculi and discuss a few significant applications. Our labelled operational semantics and definition of bisimulation is straightforward, without a structural congruence. We establish minimal requirements on the nominal data and logic in order to prove general algebraic properties of psi-calculi, all of which have been checked in the interactive theorem prover Isabelle. Expressiveness of psi-calculi significantly exceeds that of other formalisms, while the purity of the semantics is on par with the original pi-calculus