cognitive architectures (cas) are the core of artificial cognitive systems. a ca is supposed to specify the human brain at a level of abstraction suitable for explaining how it achieves the functions of the mind. over the years a number of distinct cas have been proposed by different authors and their limitations and potentials were investigated. these cas are usually classified as symbolic and...

We consider verification of safety properties for parameterized systems with linear topologies. A process in the system is an extended automaton, where the transitions are guarded by both local and global conditions. The global conditions are non-atomic, i.e., a process allows arbitrary interleavings with other transitions while checking the states of all (or some) of the other processes. We tr...

This article explores the potential of the LL to evaluate ethnically-defined spaces. Focusing on the area referred to as ‘Chinatown’ in central Liverpool, it examines the relationships between space, representation, and identity. Interviews with actors and passers-by indicate that the location and definition of Chinatown are interpreted inconsistently. As the article argues, however, the LL con...

We introduce the simple and efficient method of monotonic abstraction to prove safety properties for parameterized systems with linear topologies. A process in the system is a finite-state automaton, where the transitions are guarded by both local and global conditions. Processes may communicate via broadcast, rendezvous and shared variables over finite domains. The method of monotonic abstract...

In this paper, an algebra of timed processes with real-valued clocks is presented, which may serve as a description language for networks of timed automata. We show that requirements such as \a process will never reach an undesired state" can be veri ed by solving a simple class of constraints on the clock-variables. A symbolic on-they reachability algorithm for the language has been developed ...

Emphasis has been placed on the importance of the participation of socially excluded groups in local initiatives to reduce health inequalities in England, in `partnerships' with government. We examine potential obstacles to such participation through a case study of factors shaping local participation by residents of a deprived multi-ethnic area who describe themselves as Pakistani. We draw on ...