This paper reports on a number of inconsistencies that appear in space syntaxöa well-known technique of urban analysisöwhen dealing with certain geometrical configurations. At a simple level, the analysis of regularly gridded urban textures (such as Manhattan's) reveals the difficulty of accepting the claim that space syntax allows the modelling of pedestrian choice making. In more complex case...

The purpose of this study is to develop a new space syntax technique by adding third dimension in analysis of urban structure that is important to understand the formation of the cities. The theoretical framework of the study is put forward by integrating space syntax with the theory of the image of city. This entails the essential elucidation of spatial cognition pattern and image and the inte...

Space syntax matrix has been the main approach for human movement prediction in the urban environment. An alternative, relatively new methodology is an agentbased pedestrian model constructed using machine learning techniques. Even though both approaches have been studied intensively, the quantitative comparison between them has not been conducted. In this paper, comparative analysis of space s...

In this paper we present the speciication of an \invoicing system": two versions of it are shown. The rst does not take into account any interaction with the environment while the second considers it. The speciications are written in PoliS, a coordination language based on multiple tuple spaces. The operational semantics of PoliS allows the speciication of behavioral aspects of the systems enha...