Зображення обкладинки

Understanding Behaviour of Distributed Systems Using mCRL2

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to a...

Повний опис

Збережено в:

Бібліографічні деталі
Автори:	Atif, Muhammad (Автор), Groote, Jan Friso (Автор)
Співавтор:	SpringerLink (Online service)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Редагування:	1st ed. 2023.
Серія:	Studies in Systems, Decision and Control, 458
Предмети:	Computer simulation. Mathematical logic. Biomathematics. Markov processes. Computer science > Mathematics. Computer Modelling. Mathematical Logic and Foundations. Mathematical and Computational Biology. Markov Process. Mathematical Applications in Computer Science.
Онлайн доступ:	https://doi.org/10.1007/978-3-031-23008-0
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Diffusion Under Confinement A Journey Through Counterintuition /
за авторством: Dagdug, Leonardo, та інші
Опубліковано: (2024)

Potential Functions of Random Walks in ℤ with Infinite Variance Estimates and Applications /
за авторством: Uchiyama, Kôhei
Опубліковано: (2023)

Markov processes and potential theory: proceedings of a symposium /
за авторством: Chover, Joshua
Опубліковано: (1967)

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
за авторством: Schreiner, Wolfgang
Опубліковано: (2023)

Logic in Computer Science
за авторством: Zhang, Hantao, та інші
Опубліковано: (2025)

Stochastic Neutron Transport And Non-Local Branching Markov Processes /
за авторством: Horton, Emma, та інші
Опубліковано: (2023)

R-Calculus, VI: Finite Injury Priority Method
за авторством: Li, Wei, та інші
Опубліковано: (2025)

Hilbert C*- Modules and Quantum Markov Semigroups
за авторством: Zhang, Lunchuan
Опубліковано: (2024)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Опубліковано: (2024)

Introduction to Stochastic Processes Queues, Finance, and Credit Risk /
за авторством: Selvamuthu, Dharmaraja
Опубліковано: (2025)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Опубліковано: (2024)

Maths For Computing A Beginner's Guide /
за авторством: Charatan, Quentin, та інші
Опубліковано: (2025)

An Invitation to Mathematical Logic
за авторством: Marker, David
Опубліковано: (2024)

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
за авторством: Hoffmann, Dirk W.
Опубліковано: (2024)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
за авторством: Viale, Matteo
Опубліковано: (2024)

Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Опубліковано: (2025)

Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
за авторством: Halbeisen, Lorenz, та інші
Опубліковано: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Опубліковано: (2024)

Multi-valued Logic for Decision-Making Under Uncertainty
за авторством: Kagan, Evgeny, та інші
Опубліковано: (2025)

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
Опубліковано: (2024)

Hidden Markov Processes and Adaptive Filtering
за авторством: Kutoyants, Yury A.
Опубліковано: (2025)

Mathematics in Programming
за авторством: Liu, Xinyu
Опубліковано: (2024)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
за авторством: Farmer, William M.
Опубліковано: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
за авторством: Farmer, William M.
Опубліковано: (2025)

New Directions in Relevant Logic
Опубліковано: (2025)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Опубліковано: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
Опубліковано: (2025)

Philosophy of Mathematics in Antiquity and in Modern Times
за авторством: Felgner, Ulrich
Опубліковано: (2023)

R-Calculus, IV: Propositional Logic
за авторством: Li, Wei, та інші
Опубліковано: (2023)

Kurt Gödel: Results on Foundations
Опубліковано: (2023)

Diagrams and Gestures Mathematics, Philosophy, and Linguistics /
Опубліковано: (2023)

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
Опубліковано: (2024)

Elements of the theory of markov processes and their applications /
за авторством: BHARUCHA-REID, A.T
Опубліковано: (1960)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Опубліковано: (2023)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Опубліковано: (2025)

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part I /
Опубліковано: (2025)

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings /
Опубліковано: (2024)

Computational Fluid Dynamics Finite Difference Method and Lattice Boltzmann Method /
за авторством: Hou, Guoxiang, та інші
Опубліковано: (2024)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
за авторством: Rodríguez-Consuegra, Francisco
Опубліковано: (2025)

R-Calculus, V: Description Logics
за авторством: Li, Wei, та інші
Опубліковано: (2024)