Resource Structures as a Model of Concurrency

In this report, we introduce a model of concurrency based on event structures which we call resource structures. We show how these structures can model concepts relating to resource management such as resource contention, generation and consumption. Various constructors are also presented which are useful for spec·ifying complex resource structures as the composition of several smaller substructures. Like event structures, resource structures have an underlying transition system which can be used to define a notion of equivalence. Using this equivalence, we then present several properties satisfied by the constructors such as commutative, distributive and unit laws.

[1]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[2]  Joost-Pieter Katoen,et al.  Quantitative and Qualitative Extensions of Event Structures , 1996 .

[3]  P. S. Thiagarajan,et al.  A Logical Study of Distributed Transition Systems , 1995, Inf. Comput..

[4]  Glynn Winskel,et al.  Linear Logic on Petri Nets , 1993, REX School/Symposium.

[5]  Mogens Nielsen,et al.  Models for Concurrency , 1992 .

[6]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[7]  Madhavan Mukund,et al.  A Logical Characterization of Well Branching Event Structures , 1992, Theor. Comput. Sci..

[8]  Rom Langerak,et al.  Bundle event structures: a non-interleaving semantics for LOTOS , 1992, FORTE.

[9]  J. C. M. Baeten,et al.  Process Algebra: Bibliography , 1990 .

[10]  Glynn Winskel,et al.  An Introduction to Event Structures , 1989 .

[11]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  Ludmila Cherkasova,et al.  On Models and Algebras for Concurrent Processes , 1988, MFCS.

[14]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[15]  Glynn Winskel,et al.  Events in computation , 1980 .