We investigate the theoretical aspects of coinduction and its role as a supplement to standard equational logic for determining behavioural equivalence.
The results from the second were based on verbal actions, which were seen as extending and clarifying behavioural actions.
The presence of residual agoraphobic avoidance upon completion of behavioural treatment was found to be a risk factor for relapse.
The biology of these parasites may explain these behavioural differences.
These behavioural defences include parasite evasion and possibly the reduction of ingestion rates.
Clinical efficacy of computerised cognitive-behavioural therapy for anxiety and depression in primary care : randomised controlled trial.
The behavioural details that dominated in the earlier production are now abandoned in favour of psychological states and their nuances.
Many types of dynamical systems have been equipped with the notion of a bisimulation as a tool to define behavioural equivalence.
