"No Common Thread": Identity Crisis at an Alternative School

This study uses the phenomenon, or case, of the read more White Pine School as the basis for developing an understanding of how schools make their identities clear, distinct, and attractive to participants.This twentysixyearold parent cooperative "alternative" private school seems to be experiencing an identity crisis in which there is little consi

read more


Generating and Solving Symbolic Parity Games

We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity equi-jec 6 games.It enhances an existing method, that first encodes the problem to a Parameterised Boolean Equation System (PBES) and then instantiates the PBES to a parity game.We improved the translation from specification to

read more