Pol, Jan Cornelis van de (1969-)

A bounded retransmission protocol for large data packets / Jan Friso Groote, Jaco van de Polschema:ProductModel A calculus for sequential logic with 4 values / J.A. Bergstra, J.C. van de Polschema:ProductModel A rewriting approach to binary decision diagrams / by Hans Zantema and Jaco van de Polschema: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 Correct transformation of rewrite systems for implementation purposes / W. Fokkink, J.C. van de Polschema:ProductModel Equational binary decision diagrams / J.F. Groote, J.C. van de Polschema:ProductModel Solving scheduling problems by untimed model checking / A.J. Wijs, J.C. van de Pol, E. Bortnikschema:ProductModel State space reduction using partical →t⇋-confluence / J.F. Groote, J.C. van de Polschema:ProductModel Two solutions to incorporate zero, successor and equality in binary decision diagrams / B. Badban, J.C. van de Polschema:ProductModel

A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs) / J.C. van de Pol, O. Tveretinaschema:ProductModel A prover for the →m⇋CRL toolset with applications : version O.1 / J.C. van de Polschema:ProductModel Binary decision diagrams by shared rewriting / J.C. van de Pol, H. Zantemaschema:ProductModel Expressiveness of basic Splice / J.C. van de Polschema:ProductModel Just-in-time: on strategy annotations / J. van de Polschema:ProductModel Modal abstractions in →m⇋CRL / Jaco van de Pol, Miguel Valero Espadaschema:ProductModel Operational semantics of term rewriting with priorities / J.C. van de Polschema:ProductModel Proving termination of higher-order rewrite systems / J.C. van de Polschema:ProductModel Requirements specification and analysis of command and control systems / by Jaco van de Pol, Jozef Hooman, Edwin de Jongschema:ProductModel Termination of higher-order rewrite systems / Jan Cornelis van de Polschema:ProductModel