1-20 of 30
Jan Friso Groote
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

Timed Process Behavior

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0011
EISBN: 9780262321037
PDF
Book Chapter

Analysis

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0012
EISBN: 9780262321037
Book Chapter

Basic Manipulation of Processes

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0013
EISBN: 9780262321037
PDF
Book Chapter

Linear Process Equations and Linearization

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0014
EISBN: 9780262321037
PDF
Book Chapter

Confluence and τ -prioritization

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0015
EISBN: 9780262321037
PDF
Book Chapter

Cones and Foci

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0016
EISBN: 9780262321037
PDF
Book Chapter

Verification of Distributed Systems

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0017
EISBN: 9780262321037
PDF
Book Chapter

Verification of Modal Formulas Using Parameterized Boolean Equation Systems

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0018
EISBN: 9780262321037
PDF
Book Chapter

Semantics

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0019
EISBN: 9780262321037
Book Chapter

Semantics

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0020
EISBN: 9780262321037
PDF
Book Chapter

Preface

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0001
EISBN: 9780262321037
PDF
Book Chapter

Acknowledgments

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0002
EISBN: 9780262321037
PDF
Book Chapter

Modeling

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0003
EISBN: 9780262321037
Book Chapter

Introduction

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0004
EISBN: 9780262321037
PDF
Book Chapter

Actions, Behavior, Equivalence, and Abstraction

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0005
EISBN: 9780262321037
PDF
Book Chapter

Data Types

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0006
EISBN: 9780262321037
PDF
Book Chapter

Sequential Processes

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0007
EISBN: 9780262321037
PDF
Book Chapter

Parallel Processes

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0008
EISBN: 9780262321037
PDF
Book Chapter

The Modal μ-calculus

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0009
EISBN: 9780262321037
PDF
Book Chapter

Modeling System Behavior

By Jan Friso Groote, Mohammad Reza Mousavi
Publisher: The MIT Press
Published: 29 August 2014
DOI: 10.7551/mitpress/9946.003.0010
EISBN: 9780262321037
PDF