Searching for authors named Jan Friso Groote – sorted by Relevance.
62 documents found, showing 1 through 10.
Next 10 →
-
The Syntax and Semantics of uCRL
- … The Syntax and Semantics of uCRL Jan Friso Groote Alban Ponse Department of software technology…
- Add To MetaCart
-
Towards a Formal Mathematical Vernacular
- …Towards a Formal Mathematical Vernacular Jan Friso Groote Department of Philosophy, University…
- Cited by 2 (0 self) – Add To MetaCart
-
Focus Points and Convergent Process Operators. A Proof Strategy for Protocol Verification
- …Focus Points and Convergent Process Operators A Proof Strategy for Protocol Verification Jan Friso…
- Cited by 34 (11 self) – Add To MetaCart
-
Hiding Propositional Constants in BDDs
- …Hiding Propositional Constants in BDDs Jan Friso Groote Utrecht University, Faculty of Philosophy…
- Cited by 13 (2 self) – Add To MetaCart
-
Formal Verification of a Leader Election Protocol in Process Algebra
- … 1263, S-164 28 Kista, Sweden fred@(email omitted); Jan Friso Groote Henri Korver y Department of Philosophy…
- Cited by 21 (7 self) – Add To MetaCart
-
Proof theory for µCRL
- …Proof Theory for CRL Jan Friso Groote Alban Ponse Department of Software Technology, CWI P.O. Box…
- Add To MetaCart
-
A Correctness Proof of the Bakery Protocol in mCRL
- …A Correctness Proof of the Bakery Protocol in ��CRL Jan Friso Groote Department of Philosophy…
- Add To MetaCart
-
Tutorial and Reference Guide for the µCRL toolset version 1.0
- …Tutorial and Reference Guide for the CRL toolset version 1.0 Jan Friso Groote CWI P.O. Box 94079…
- Add To MetaCart
-
The Syntax and Semantics of timed muCRL
- … Amsterdam (NL) Telephone +31 20 592 9333 Telefax +31 20 592 4199 The Syntax and Semantics of timed CRL Jan…
- Add To MetaCart
-
The Syntax and Semantics of timed
- … 20 592 9333 Telefax +31 20 592 4199 The Syntax and Semantics of timed CRL Jan Friso Groote CWI P…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
