Internal Report TCS--90--3. T. Nagar, Madras, India: SPIC Science Foundation, School of Mathematics, September 1990.
Abstract: The authors present some of their work on modelling distributed systems with true concurrency and using logic to reason about these models. The emphasis is on motivating definitions through examples and on presenting major results. In the first part of the paper, three models are introduced called distributed transition systems, elementary net systems and event systems. Using these models, the authors illustrate some of the fundamental features of distributed systems, such as causality, choice and concurrency. In the second half of the paper, the authors develop a family of logics to specify and reason about the behavioural properties of these models.
Keywords: true concurrency, model(s), logic(s); distributed system; transition system; elementary net system; event system.