Natural Labelled Transition Systems and Physarum Spatial Logic

Chapter
Part of the Studies in Systems, Decision and Control book series (SSDC, volume 159)

Abstract

Usually, a labelled transition system is used for describing the behaviour and tempo-spatial structure of concurrent systems [148]. The latter were first introduced by Milner (Communicating and mobile systems: the p-calculus. Cambridge University Press, Cambridge, 1999 [54]).

Copyright information

© Springer International Publishing AG, part of Springer Nature 2019

Authors and Affiliations

  1. 1.University of Information Technology and Management in RzeszowRzeszówPoland
  2. 2.Department of Computer Science, Faculty of Mathematics and Natural SciencesUniversity of RzeszówRzeszówPoland

Personalised recommendations