Groote, Jan Friso (1965-)

A bounded retransmission protocol for large data packets / Jan Friso Groote, Jaco van de Polschema:ProductModel A checker for modal formulas for processes with data / by Jan Friso Groote and Tim A.C. Willemseschema:ProductModel A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J.F. Groote, S.P. Luttikschema:ProductModel A computer checked algebraic verification of a distributed summation algorithm / by J.F. Groote, F. Monin and J. Springintveldschema:ProductModel A correctness proof of the Bakery protocol in →m⇋CRL / J.F. Groote, H.P. Korverschema:ProductModel A correctness proof of the Bakery protocol in →m⇋CRL / Jan Friso Groote, Henri Korverschema:ProductModel A new strategy for proving →ō⇋-completeness applied to process algebra / Jan Friso Grooteschema:ProductModel A note on n similar parallel processes / J.F. Grooteschema:ProductModel A short proof of the decidability of bisimulation for normed BPA-processes / J.F. Grooteschema:ProductModel Algebraic process verification / by J.F. Groote and M.A. Reniersschema:ProductModel Algebraic verification of a distributed summation algorithm / J.F. Groote, J. Springintveldschema:ProductModel Algebraic verification of a distributed summation algorithm / J.F. Groote, J.G. Springintveldschema:ProductModel An efficient algorithm for branching bisimulation and stuttering equivalence / J.F. Groote, F.W. Vaandragerschema:ProductModel Analysis of a distributed system for lifting trucks / J.F. Groote, J. Pang, A.G. Woutersschema:ProductModel Analysis of three hybrid systems in timed →m⇋CRL / J.F. Groote, J.J. van Wamelschema:ProductModel Basic theorems for parallel processes in timed →m⇋CRL / J.F. Groote, J. van Wamelschema:ProductModel Binary decision diagrams for first order predicate logic / J.F. Grooteschema:ProductModel Checking verifications of protocols and distributed systems by computer : extended version of a tutorial at CONCUR '98 / by J.F. Groote, F. Monin and J. van de Polschema:ProductModel Computer assisted manipulation of algebraic process specifications / J.F. Groote, B. Lisserschema:ProductModel Confluence for process verification / J.F. Groote, M.P.A. Sellinkschema:ProductModel ... show all 49

A complete equational axiomatization for MPA with string iteration / L. Aceto, J.F. Grooteschema:ProductModel A correctness proof of a one-bit sliding window protocol in →m⇋CRL / Marc Bezem, Jan Friso Grooteschema:ProductModel A formal verification of the alternating bit protocol in the calculus of constructions / Marc Bezem, Jan Friso Grooteschema:ProductModel An algorithm for the asynchronous Write-All problem based on process collision / J.F. Groote ... [et al.]schema:ProductModel Completeness of timed →m⇋CRL / J.F. Groote ... [et al.]schema:ProductModel Formalizing process algebraic verifications in the calculus of constructions / by M. Bezem, R. Bol and J.F. Grooteschema:ProductModel Invariants in process algebra with data / M.A. Bezem, J.F. Grooteschema:ProductModel Process algebra needs proof methodology / by Wan Fokkink, Jan Friso Groote, Michel Reniersschema:ProductModel Proving a graph well founded using resolution / M. Bezem, J.F. Grooteschema:ProductModel Specification and implementation of components of a →m⇋CRL toolbox / D. Dams & J.F. Grooteschema:ProductModel The meaning of negative premises in transition system specifications / R.N. Bol, J.F. Grooteschema:ProductModel Transforming equality logic to propositional logic / Hans Zantema, Jan Friso Grooteschema:ProductModel Verification of propositional formulae by means of convex and concave transforms / Hans van Maaren, Jan Friso Groote and Michiel Rozemaschema:ProductModel Waitfree distributed memory management by create, and read until deletion (CRUD) / W.H. Hesselink, J.F. Grooteschema:ProductModel