Anna D Ing

Learn More
Fokkink and Zantema ((1994) Computer Journal 37:259{267) have shown that bisimulation equivalence has a nite equational axiomatiza-tion over the language of Basic Process Algebra with the binary Kleene star operation (BPA). In light of this positive result on the mathematical tractability of bisimulation equivalence over BPA , a natural question to ask is(More)
In this paper, we present a general way of giving denotational semantics to a class of languages equipped with an operational semantics that ts the GSOS format of Bloom, Istrail and Meyer. The canonical model used for this purpose will be Abram-sky's domain of synchronization trees, and the denotational semantics automatically generated by our methods will(More)
In this article, the authors evaluated functional communication training (FCT) and a chained schedule of reinforcement for the treatment of challenging behavior exhibited by two individuals diagnosed with Asperger syndrome and autism, respectively. Following a functional analysis with undifferentiated results, the authors demonstrated that challenging(More)
The objective of this pilot study was to identify if notebook accessories (ergonomic chair, desktop monitor and notebook riser) combined with a wireless keyboard, mouse and participatory ergonomics training would have the greatest impact on reducing self-reported upper extremity musculoskeletal discomfort in university students. In addition to pre-post(More)
Imposing certain restrictions on the transition system that deenes the behaviour of a process allows us to characterize the readiness semantics of OH86] by means of black{box testing experiments, or more precisely by lighted button testing experiments BM92]. As divergence is considered we give the semantics as a preorder, the readiness preorder, which(More)
Fokkink and Zantema have shown that bisimulation equivalence has a nite equa-tional axiomatization over the language of Basic Process Algebra with the binary Kleene star operation (BPA). In light of this positive result on the mathematical tractability of bisimulation equivalence over BPA , a natural question to ask is whether any other (pre)congruence(More)
Experimental conditions similar to those described by Lieving and Lattal (2003) were used within two experiments to evaluate the resurgence of mands with humans. Two mands from the same operant class were trained with three participants with developmental disabilities during Experiment 1 and with two participants with developmental disabilities and a(More)
  • 1