Wan Fokkink

View Scopus Profile

prof. dr. Wan Fokkink

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

Search results

  • 2025

    A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines

    Kanwal, S. & Fokkink, W., 2025, Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Proceedings. Hojjat, H. & Caltais, G. (eds.). Springer Nature, p. 61-79 19 p. (Lecture Notes in Computer Science; vol. 15593 LNCS)(FFSEN: International Conference on Fundamentals of Software Engineering; vol. 2025).

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

  • 2023

    Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W. J., Goorden, M. A., Hendriks, D., van Beek, D. A., Hofkamp, A. T., Reijnen, F. F. H., Etman, L. F. P., Moormann, L., van de Mortel-Fronczak, J. M., Reniers, M. A., Rooda, J. E., van der Sanden, L. J., Schiffelers, R. R. H., Thuijsman, S. B., Verbakel, J. J. & Vogel, J. A., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 2. p. 44-52 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13994 LNCS).

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

    Open Access

  • Legend pattern calculation for dynamic traffic management using ILP

    Verbakel, J. J., van Meurs, J., van de Mortel-Fronczak, J. M., Fokkink, W. & Rooda, J. E., 2023, 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE): [Proceedings]. IEEE, 7 p.

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

    Open Access
    File

  • Validating communication of a dynamic traffic management system

    Verbakel, J., Fokkink, W., Van De Mortel-Fronczak, J. & Rooda, J., 2023, 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS): [Proceedings]. Institute of Electrical and Electronics Engineers Inc., p. 207-215 9 p. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS).

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

    Open Access
    File
    7 Downloads (Pure)
  • 2021

    A configurator for supervisory controllers of roadside systems

    Verbakel, J. J., Vos De Wael, M. E. W., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 5 Oct 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). IEEE Computer Society, p. 784-791 8 p. (IEEE International Conference on Automation Science and Engineering; vol. 2021-August).

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

  • Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays

    Moormann, L., Schouten, R. H. J., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 5 Oct 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). IEEE Computer Society, p. 1268-1275 8 p. (IEEE International Conference on Automation Science and Engineering; vol. 2021-August).

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

  • Are two binary operators necessary to finitely axiomatise parallel composition?

    Aceto, L., Castiglioni, V., Fokkink, W., Ingólfsdóttir, A. & Luttik, B., 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17 17 p. 8. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 183).

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

    Open Access

  • Fault-Tolerant Termination Detection with Safra’s Algorithm

    Karlos, G., Fokkink, W. & Fuchs, P., 2021, Networked Systems: 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings. Echihabi, K. & Meyer, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 71-87 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12754 LNCS).

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

    Open Access
    File
    87 Downloads (Pure)
  • 2020

    A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

    Grabmayer, C. & Fokkink, W., Jul 2020, LICS'20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 465-478 14 p. 3394744. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    231 Downloads (Pure)

  • Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

    Moormann, L., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 2020, 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE): [Proceedings]. IEEE Computer Society, p. 659-666 8 p. 9216953. (IEEE International Conference on Automation Science and Engineering; vol. 2020-August).

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

    Open Access
    File
    28 Downloads (Pure)

  • Modeling Guidelines for Component-Based Supervisory Control Synthesis

    Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W. & Rooda, J., 2020, Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings. Arbab, F. & Jongmans, S.-S. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

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

    Open Access
    File
    136 Downloads (Pure)

  • SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions

    Konoth, R. K., Fischer, B., Fokkink, W., Athanasopoulos, E., Razavi, K. & Bos, H., 2020, 2020 IEEE European Symposium on Security and Privacy (EuroS&P): [Proceedings]. Institute of Electrical and Electronics Engineers Inc., p. 569-586 18 p. 9230396

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

    Open Access
    File
    183 Downloads (Pure)

  • The Road Ahead for Supervisor Synthesis

    Goorden, M., Moormann, L., Reijnen, F. F. H., Verbakel, J. J., van Beek, D. A., Hofkamp, A. T., van de Mortel-Fronczak, J., Reniers, M. A., Fokkink, W., Rooda, J. E. & Etman, L. F. P., 2020, Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. Pang, J. & Zhang, L. (eds.). Springer Verlag, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 12153).

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

    Open Access
    File
    81 Downloads (Pure)
  • 2019

    Supervisory control of multilevel discrete-event systems with a bus structure

    Goorden, M., DIngemans, C., Reniers, M., Van De Mortel-Fronczak, J., Fokkink, W. & Rooda, J., 1 Jun 2019, 2019 18th European Control Conference, ECC 2019. Institute of Electrical and Electronics Engineers Inc., p. 3204-3211 8 p. 8795835. (2019 18th European Control Conference, ECC 2019).

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

  • Deducing causes for the absence of states in supervised systems

    Swartjes, L., Reniers, M. A. & Fokkink, W. J., 1 Apr 2019, 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Institute of Electrical and Electronics Engineers Inc., p. 144-149 6 p. 8820346. (2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019).

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

  • The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

    Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W. & Rooda, J., 2019, Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (eds.). Springer Verlag, p. 76-92 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

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

    Open Access
    File
    41 Downloads (Pure)
  • 2017

    Creating Büchi automata for multi-valued model checking

    Vijzelaar, S. J. J. & Fokkink, W. J., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Bouajjani, A. & Silva, A. (eds.). Springer/Verlag, p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10321 LNCS).

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

    Open Access
    File
    21 Downloads (Pure)

  • Detecting useless transitions in pushdown automata

    Grune, D., Fokkink, W., Chatzikalymnios, E., Hond, B. & Rutgers, P., 2017, Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Drewes, F., Martín-Vide, C. & Truthe, B. (eds.). Springer/Verlag, p. 421-434 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

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

    Open Access
    File
    26 Downloads (Pure)

  • Divide and congruence III: Stability & divergence

    Fokkink, W., Glabbeek, R. V. & Luttik, B., 2017, 28th International Conference on Concurrency Theory (CONCUR 2017): [Proceedings]. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-16 16 p. 15. (Leibniz International Proceedings in Informatics; vol. 85).

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

    Open Access
    File
    10 Downloads (Pure)

  • Precongruence formats with lookahead through modal decomposition

    Fokkink, W. & Van Glabbeek, R. J., 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017): [Proceedings]. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-20 20 p. 25. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

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

    Open Access
  • 2016

    Divide and Congruence II: Delay and Weak Bisimilarity

    Fokkink, W. & van Glabbeek, R., 5 Jul 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers, Inc., Vol. 05-08-July-2016. p. 778-787 10 p.

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

  • Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors

    Swartjes, L., Reniers, M. A., Van Beek, D. A. & Fokkink, W. J., 22 Jun 2016, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. Institute of Electrical and Electronics Engineers, Inc., p. 14-21 8 p. 7497820

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

  • 2015

    Bonsai: Cutting models down to size

    Vijzelaar, S. J. J., Verstoep, K., Bal, H. E. & Fokkink, W. J., 2015, Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer - Verlag, p. 361-375 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

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

  • Maximally permissive controlled system synthesis for modal logic

    van Hulst, A. C., Reniers, M. A. & Fokkink, W., 2015, SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science. Springer/Verlag, Vol. 8939. p. 230-241 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8939).

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

  • Multi-valued abstraction using lattice operations

    Vijzelaar, S. J. J. & Fokkink, W. J., 2015, Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15. IEEE, p. 70-79

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

  • Predicting Quality of Crowdsourced Annotations using Graph Kernels

    Nottamkandath, A., Oosterman, J., de Vries, G. K. D., Ceolin, D. & Fokkink, W., 2015, Trust Management IX - 9th IFIP Working Group 11.11 International Conference on Trust Management, IFIPTM 2015, Proceedings. Murayama, Y., Dimitrakos, T., Jensen, C. D. & Marsh, S. (eds.). Springer New York, Vol. 454. p. 134-148 15 p. (IFIP Advances in Information and Communication Technology; vol. 454).

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

  • 2014

    Maximal synthesis for Hennessy-Milner logic with the box modality

    van Hulst, A., Reniers, M. A. & Fokkink, W. J., 2014, Proc. 12th Workshop on Discrete Event Systems - WODES'14. IFAC-IEEE, p. 278-285

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

  • Petri nets are a biologist's best friend

    Bonzanni, N., Feenstra, K. A., Fokkink, W. J. & Heringa, J., 2014, Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings. Springer/Verlag, p. 102-116 15 p. (Lecture Notes in Computer Science; vol. 8738)( Lecture Notes in Bioinformatics book sub series (LNBI); vol. 8738).

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

    File
    157 Downloads (Pure)
  • 2013

    Maximal synthesis for Hennessy-Milner logic

    Van Hulst, A. C., Reniers, M. A. & Fokkink, W. J., 21 Oct 2013, Proceedings - 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013. p. 1-10 10 p. 6598335

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

  • Maximal synthesis for Hennessy-Milner logic

    van Hulst, A., Reniers, M. A. & Fokkink, W. J., 2013, Proc. 13th Conference on Application of Concurrency to System Design - ACSD'13. IEEE, p. 1-10

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

  • Semi-automated assessment of annotation trustworthiness

    Ceolin, D., Nottamkandath, A. & Fokkink, W. J., 2013, Proc. 11th Conference on Privacy, Security and Trust - PST'13. IEEE, p. 325-332

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

  • 2012

    Using model checking to analyze the system behavior of the LHC production grid

    Remenska, D., Willemse, T. A. C., Verstoep, K., Fokkink, W. J., Bal, H. E. & Templon, J. A., 2012, Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12. IEEE/ACM, p. 335-343

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

  • 2011

    A modeling framework for gossip-based information spread

    Bakhshi, R. R., Gavidia Simonetti, D. P., Fokkink, W. J. & van Steen, M. R., 2011, Proc. 8th Conference on Quantitative Evaluation of SysTems (QEST'11). IEEE, p. 245-254

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

  • 2010

    A Trust Model to Estimate the Quality of Annotations using the Web

    Ceolin, D., van Hage, W. R. & Fokkink, W. J., 2010, Proceedings of the WebSci10: Extending the Frontiers of Society On-Line. Web: journal.webscience.org

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

  • Automating the mean-field method for large dynamic gossip networks

    Bakhshi, R. R., Endrullis, J., Endrullis, S., Fokkink, W. J. & Haverkort, B. R., 2010, Proc. 7th Conference on Quantitative Evaluation of SysTems - QEST'10. IEEE, p. 241-250

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

  • Brief announcement: A shared disk on distributed storage

    Vijzelaar, S. J. J., Bos, H. J. & Fokkink, W. J., 2010, Proc. 29th Symposium on Principles of Distributed Computing - PODC'10. ACM, p. 79-80

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

  • Brief announcement: Asynchronous bounded expected delay networks

    Bakhshi, R. R., Endrullis, J., Fokkink, W. J. & Pang, J., 2010, Proc. 29th Symposium on Principles of Distributed Computing - PODC'10. ACM, p. 392-393

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

  • Partial order reduction for branching security protocols

    Fokkink, W. J., Torabi Dashti, M. & Wijs, A., 2010, Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10. IEEE Computer Society Press, p. 191-200

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

  • Towards performance evaluation of mobile ad hoc network protocols

    Ghassemi, F., Movaghar, A. & Fokkink, W. J., 2010, Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10. IEEE Computer Society Press, p. 85-92

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

  • 2009

    Mean-field analysis for the evaluation of gossip protocols

    Bakhshi, R. R., Cloth, L., Fokkink, W. J. & Haverkort, B. R., 2009, Proc. 6th Conference on Quantitative Evaluation of SysTems - QEST'09. IEEE Computer Society Press, p. 247-256

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

  • 2008

    Mechanical Verification of a Two-way Sliding Window Protocol

    Badban, B., Fokkink, W. J. & van de Pol, J. C., 2008, 9th Conference of Communicating Process Architectures, CPA 2008, York, United Kingdom, September 7-10, 2008, Proceedings. Welch, P. (ed.). IOS Press, p. 179-202

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

  • On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

    Chen, T. & Fokkink, W. J., 2008, Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. IEEE Computer Society, p. 156-165

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

  • Restricted Broadcast Process Theory

    Ghassemi, F., Fokkink, W. J. & Movaghar, A., 2008, 6th IEEE International Conferences on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, November 10-14, 2008, Proceedings. Cerone, A. & Gruner, S. (eds.). IEEE Society Press, p. 345-354

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

  • 2007

    Partial Order Reduction for Branching Security Protocols

    Fokkink, W. J., Torabi Dashti, M. & Wijs, A., 2007, 7th International Workshop on Issues in the Theory of Security, WITS 2007, Braga, Portugal, March 24-25, 2007, Proceedings. Focardi, R. (ed.). IFIP, p. 178-193

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

  • 2005

    From Chi-t to mCRL: Combining Performance and Functional Analysis

    Wijs, A. & Fokkink, W. J., 2005, 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China. IEEE Computer Society, p. 184-193

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

  • T.R. - Special issue of the Workshop on Process Algebra: Open Questions and Future Directions

    Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Esik, Z., 2005, Workshop on Process Algebra: Open Problems and Future Directions. (Theoretical Computer Science; no. 335).

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

  • 2003

    Analysis of a Redesigned Lift System Using UPPAAL

    Karstens, B., Fokkink, W. & Pang, J., 2003, Proceedings 5th Conference on Formal Engineering Methods: ICFEM'03: Lecture Notes in Computer Science 2885 . Springer/Verlag, Vol. 2885. p. 504-522

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

    Open Access

  • Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

    Fokkink, W. J., van Glabbeek, R. J. & de Wind, P., 2003, Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings. Lingas, A. & Nilsson, B. (eds.). Springer, p. 412-422 (Lecture Notes in Computer Science).

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

  • Model Checking a Cache Coherence Protocol for a Java DSM Implementation

    Pang, J., Fokkink, W. J., Hofman, R. F. H. & Veldema, R. S., 2003, 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings. IEEE Computer Society, p. 238

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

  • 2001

    2-nested simulation is not finitely equationally axiomatizable

    Aceto, L., Fokkink, W. & Ingólfsdóttir, A., 1 Jan 2001, STACS 2001 - 18th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Ferreira, A. & Reichel, H. (eds.). Springer - Verlag, p. 39-50 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2010).

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