Jan Friso Groote's Books

Modeling and Analysis of Communicating Systems

By: Jan Friso Groote,Mohammad Reza Mousavi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Modeling and Analysis of Communicating Systems

By: Jan Friso Groote,Mohammad Reza Mousavi

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems. Complex communicating computer systems—computers connected by data networks and in constant communication with their environments—do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

393

Publisher

MIT Press

Published Date

ISBN 10

0262547872

ISBN 13

9780262547871

Logic Gates, Circuits, Processors, Compilers and Computers

By: Jan Friso Groote,Rolf Morel,Julien Schmaltz,Adam Watkins

Write a review Read reviews Take a Quiz Solve Book Puzzle

Logic Gates, Circuits, Processors, Compilers and Computers

By: Jan Friso Groote,Rolf Morel,Julien Schmaltz,Adam Watkins

This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relationship to first assembly programming, then higher-level languages, and finally computer organisation. Authors use the Raspberry Pi and ARM microprocessors for their explanations The material has been extensively class tested at TU Eindhoven by an experienced team of lecturers and researchers. This is a modern, holistic treatment of well-established topics, valuable for undergraduate students of computer science and electronics engineering and for self-study. The authors use the Raspberry Pi and ARM microprocessors for their explanations.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

251

Publisher

Springer Nature

Published Date

ISBN 10

3030685535

ISBN 13

9783030685539

Understanding Behaviour of Distributed Systems Using mCRL2

By: Muhammad Atif,Jan Friso Groote

Write a review Read reviews Take a Quiz Solve Book Puzzle

Understanding Behaviour of Distributed Systems Using mCRL2

By: Muhammad Atif,Jan Friso Groote

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 analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

241

Publisher

Springer Nature

Published Date

ISBN 10

3031230086

ISBN 13

9783031230080

Typed Lambda Calculi and Applications

International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings

By: Marc Bezem,Jan F. Groote

Write a review Read reviews Take a Quiz Solve Book Puzzle

Typed Lambda Calculi and Applications

International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings

By: Marc Bezem,Jan F. Groote

The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped functional programming languages. Operational and denotational semantics for the calculus served as examples for otherprogramming languages. In typed lambda calculi, lambda terms are classified according to their applicative behavior. In the 1960s it was discovered that the types of typed lambda calculi are in fact appearances of logical propositions. Thus there are two possible views of typed lambda calculi: - as models of computation, where terms are viewed as programs in a typed programming language; - as logical theories, where the types are viewed as propositions and the terms as proofs. The practical spin-off from these studies are: - functional programming languages which are mathematically more succinct than imperative programs; - systems for automated proof checking based on lambda caluli. This volume is the proceedings of TLCA '93, the first international conference on Typed Lambda Calculi and Applications,organized by the Department of Philosophy of Utrecht University. It includes29 papers selected from 51 submissions.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

452

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540565175

ISBN 13

9783540565178

Modeling and Analysis of Communicating Systems

By: Jan Friso Groote,Mohammad Reza Mousavi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Modeling and Analysis of Communicating Systems

By: Jan Friso Groote,Mohammad Reza Mousavi

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems Complex communicating computer systems—computers connected by data networks and in constant communication with their environments—do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

393

Publisher

MIT Press

Published Date

ISBN 10

0262027712

ISBN 13

9780262027717

Understanding Behaviour of Distributed Systems Using mCRL2

By: Muhammad Atif,Jan Friso Groote

Write a review Read reviews Take a Quiz Solve Book Puzzle

Understanding Behaviour of Distributed Systems Using mCRL2

By: Muhammad Atif,Jan Friso Groote

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

241

Publisher

Springer Nature

Published Date

ISBN 10

3031230086

ISBN 13

9783031230080

Logic Gates, Circuits, Processors, Compilers and Computers

By: Jan Friso Groote,Rolf Morel,Julien Schmaltz,Adam Watkins

Write a review Read reviews Take a Quiz Solve Book Puzzle

Logic Gates, Circuits, Processors, Compilers and Computers

By: Jan Friso Groote,Rolf Morel,Julien Schmaltz,Adam Watkins

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

251

Publisher

Springer Nature

Published Date

ISBN 10

3030685535

ISBN 13

9783030685539

Focus Points and Convergent Process Operators

By: J. F. Groote,Jan G. Springintveld

Write a review Read reviews Take a Quiz Solve Book Puzzle

Focus Points and Convergent Process Operators

By: J. F. Groote,Jan G. Springintveld

Abstract: "We present a strategy for finding algebraic correctness proofs for communication systems. It is described in the setting of [mu]CRL [11], which is, roughly, ACP [2,3] extended with a formal treatment of the interaction between data and processes. The strategy has already been applied successfully in [4] and [10], but was not explicitly identified as such. Moreover, the protocols that were verified in these papers were rather complex, so that the general picture was obscured by the amount of details. In this paper, the proof strategy is materialised in the form of definitions and theorems. These results reduce a large part of protocol verification to a number of trivial facts concerning data parameters occurring in implementation and specification. This greatly simplifies protocol verifications and makes our approach amenable to mechanical assistance; experiments in this direction seem promising. The strategy is illustrated by several small examples and one larger example, the Concurrent Alternating Bit Protocol (CABP). Although simple, this protocol contains a large amount of internal parallelism, so that all relevant issues make their appearance.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Published Date

ISBN 10

9039314519

ISBN 13

9789039314517

Book's by Jan Friso Groote

Modeling and Analysis of Communicating Systems

Modeling and Analysis of Communicating Systems

Logic Gates, Circuits, Processors, Compilers and Computers

Logic Gates, Circuits, Processors, Compilers and Computers

Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Modeling and Analysis of Communicating Systems

Modeling and Analysis of Communicating Systems

Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

Logic Gates, Circuits, Processors, Compilers and Computers

Logic Gates, Circuits, Processors, Compilers and Computers

Focus Points and Convergent Process Operators

Focus Points and Convergent Process Operators

Username

Password

Username

Password

Password again

Birthday

Email