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)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	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.
Διαθέσιμο Online:	https://doi.org/10.1007/978-3-031-23008-0
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!