|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Muhammad Atif , Jan Friso GrootePublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2023 Volume: 458 Weight: 0.593kg ISBN: 9783031230073ISBN 10: 3031230078 Pages: 235 Publication Date: 26 February 2023 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsIntroducing mCRL2.- Automata to Represent Behaviour.- Communicating processes.- Behavioural Equivalences.- Data Types and Data-dependent Behaviour.- Model-Checking.- The Modal µ-Calculus.- Linear Processes and Parameterised Boolean Equation Systems.- Applications: Puzzles and Games.- Applications: Distributed Algorithms.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |