We introduce the resource calculus, a string diagrammatic language for concurrent systems. Significantly, it uses the same syntax and operational semantics as the signal flow calculus Ð an algebraic formalism for signal flow graphs, which is a combinatorial model of computation of interest in control theory. Indeed, our approach stems from the simple but fruitful observation that, by replacing real numbers (modelling signals) with natural numbers (modelling resources) in the operational semantics, concurrent behaviour patterns emerge. The resource calculus is canonical: we equip it and its stateful extension with equational theories that characterise the underlying space of definable behavioursÐa convex algebraic universe of additive relationsÐ via isomorphisms of categories. Finally, we demonstrate that our calculus is sufficiently expressive to capture behaviour definable by classical Petri nets.

No abstract

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org. This content downloaded from 129.16.69.49 on Thu, 31 Dec 2015 20:33:41 UTC All use subject to JSTOR Terms and Conditions ILLUSTRATIONS OF SIMPLE GROUP THEORY ILLUSTRATIONS OF SIMPLE GROUP THEORYThis brief sketch of the theoretical structure does not imply that formal proofs are either necessary or desirable in the initial stages. In many cases the algebraic statement merely sums up the experience of the pupil.To attempt a logical treatment is to tread a slippery path between the stringent demands of correct reasoning and the human need of the class to understand and appreciate what is being discussed. At a more mature stage a strict axiomatic approach to vector algebra would be of great interest and value, but for a full appreciation of the difficulties involved in the algebraic definition of length, perpendicularity and rotation, and in the problems of invariance, a clear understanding of geometrical vectors is essential.Criticisms and suggestions would be most welcome and I should like to thank those who have already helped me in this way.Strathallan School, G. GILES Perth. A. Rotations of an equilateral triangleIt is well known that the six rotations of an equilateral triangle form a group; that is to say that, if an equilateral triangle ABC occupies a certain triangular space, there are six operations and six A only which when performed either singly or in succession will leave only which when performed either singly or in succession will leave the triangle still occupying the same space, but with vertices in This brief sketch of the theoretical structure does not imply that formal proofs are either necessary or desirable in the initial stages. In many cases the algebraic statement merely sums up the experience of the pupil.To attempt a logical treatment is to tread a slippery path between the stringent demands of correct reasoning and the human need of the class to understand and appreciate what is being discussed. At a more mature stage a strict axiomatic approach to vector algebra would be of great interest and value, but for a full appreciation of the difficulties involved in the algebraic definition of length, perpendicularity and rotation, and in the problems of invariance, a clear understanding of geometrical vectors is essential.Criticisms and suggestions would be most welcome and I should like to thank those who have already helped me in this way.Strathallan School, G. GILES Perth.