Integrated Model of Distributed Systems

  • Wiktor B. DaszczukEmail author
Part of the Studies in Computational Intelligence book series (SCI, volume 817)


The IMDS formalism (Chrobot and Daszczuk 2006; Daszczuk 2008) is designed to describe closed systems, i.e., systems in which the behavior does not depend upon external events.


  1. Chandy, K. M., & Lamport, L. (1985). Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3(1), 63–75. Scholar
  2. Chrobot, S., & Daszczuk, W. B. (2006). Communication dualism in distributed systems with petri net interpretation. Theoretical and Applied Informatics, 18(4), 261–278. URL:
  3. Daszczuk, W. B. (2008). Deadlock and termination detection using IMDS formalism and model checking, Version 2, ICS WUT Research Report No.2/2008. arXiv:1710.08842.
  4. Daszczuk, W. B., Bielecki. M., & Michalski, J. (2017). Rybu: Imperative-style preprocessor for verification of distributed systems in the Dedan environment. In KKIO’17—Software Engineering Conference, Rzeszów, Poland, 14–16 September, 2017. Polish Information Processing Society. arXiv:1710.02722.
  5. Dick, G., & Yao, X. (2014). Model representation and cooperative coevolution for finite-state machine evolution. In 2014 IEEE Congress on Evolutionary Computation (CEC), Beijing, China (pp. 2700–2707), 6–11 July, 2014. New York, NY: IEEE.
  6. Penczek, W., Szreter, M., & Kuiper, R. (2000). Improving partial order reductions for universal branching time properties. Fundamenta Informaticae, 43(1–4), 245–267. Url:
  7. Reniers, M. A., & Willemse T. A. C. (2011). Folk theorems on the correspondence between state-based and event-based systems. In 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia (pp. 494–505), 22–28 January, 2011. Berlin Heidelberg: Springer.
  8. van Glabbeek, R. J., & Goltz, U. (1990). Equivalences and refinement. In LITP Spring School on Theoretical Computer Science La Roche Posay, France, LNCS 469 (pp. 309–333), 23–27 April, 1990. Berlin Heidelberg: Springer.
  9. Winskel, G., & Nielsen, M. (1995). Models for concurrency. Handbook of logic in computer science (vol.4). S. Abramsky, D. M. Gabbay, & T. S. E. Maibaum (Eds.). Oxford, UK: Oxford University Press. ISBN:0-19-853780-8.Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Institute of Computer ScienceWarsaw University of TechnologyWarsawPoland

Personalised recommendations