Wan Fokkink

View Scopus Profile

prof. dr. Wan Fokkink

 https://orcid.org/0000-0001-7443-8978
Filter
Conference contribution

Search results

  • 2001

    μCRL: A toolset for Analysing Algebraic Specifications

    Blom, S., Fokkink, W., Groote, J. F., Van Langevelde, I., Lisser, B. & Van de Pol, J., 1 Jan 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). Springer - Verlag, p. 250-254 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 2000

    An ω-Complete equational specification of interleaving

    Fokkink, W. J. & Luttik, S. P., 1 Jan 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Welzl, E. & Rolim, J. D. P. (eds.). Springer - Verlag, p. 729-743 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1853).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1999

    Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

    Fokkink, W. & Verhoef, C., 1 Jan 1999, Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Finance, J.-P. (ed.). Springer - Verlag, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1577).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1998

    A cook’s tour of equational axiomatizations for prefix iteration

    Aceto, L., Fokkink, W. & Ingólfsdóttir, A., 1 Jan 1998, Foundations of Software Science and Computation Structures - 1st International Conference, FoSSaCS 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998, Proceedings. Nivat, M. (ed.). Springer - Verlag, p. 20-34 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1378).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • EURIS, a specification method for distributed interlockings

    van Dijk, F., Fokkink, W., Kolk, G., van de Ven, P. & van Vlijmen, B., 1 Jan 1998, Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings. Ehrenberger, W. (ed.). Springer - Verlag, p. 296-305 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1516).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1997

    Axiomatizations for the perpetual loop in process Algebra

    Fokkink, W., 1 Jan 1997, Automata, Languages and Programming - 24th International Colloquium, ICALP 1997, Proceedings. Degano, P., Gorrieri, R. & Marchetti-Spaccamela, A. (eds.). Springer - Verlag, p. 571-581 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1256).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • Simulation as a correct transformation of rewrite systems

    Fokkink, W. & van de Pol, J., 1 Jan 1997, Mathematical Foundations of Computer Science 1997 - 22nd International Symposium, MFCS 1997, Proceedings. Privara, I. & Ruzicka, P. (eds.). Springer - Verlag, p. 249-258 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1295).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1994

    The tyft/tyxt format reduces to tree rules

    Fokkink, W. J., 1 Jan 1994, Theoretical Aspects of Computer Software - International Symposium TACS 1994, Proceedings. Mitchell, J. C. & Hagiya, M. (eds.). Springer - Verlag, p. 440-453 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 789 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 1993

    An elimination theorem for regular behaviours with integration

    Fokkink, W. J., 1 Jan 1993, CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings. Best, E. (ed.). Springer - Verlag, p. 432-446 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 715 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review