Understanding Behaviour of Distributed Systems Using MCRL2 von Atif, Muhammad, Groote, Jan Friso

Volltext

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings von Groote, Jan Friso, Huisman, Marieke

Volltext

CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings von Baeten, Jos C. M, Groote, Jan Frisco

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice...

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice...

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice... von Groote, Jan Friso, Larsen, Kim Guldstrand

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice... von Groote, Jan Friso, Larsen, Kim Guldstrand

Volltext

Lock-free dynamic hash tables with open addressing von Gao, H, Groote, J F, Hesselink, W H

Volltext

Resolution and binary decision diagrams cannot simulate each other polynomially von Groote, J.F., Zantema, H.

Volltext

Transition system specifications with negative premises von Groote, Jan Friso

Volltext

Model-checking processes with data von Groote, J.F., Willemse, T.A.C.

Volltext

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Volltext

A Novel Clustering Algorithm for Mobile Ad Hoc Networks Based on Determination of Virtual Links’ Weight to Increase Network Stability von Al-Haddad, S. A. R., Zarafshan, Faraneh, Afsharfarnia, Abbas, Karimi, Abbas

Volltext

Experiences in developing the mCRL2 toolset von Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W., Willemse, T. A. C.

Volltext

Confluence for process verification von Groote, J.F., Sellink, M.P.A.

Volltext

Lock-Free Parallel Garbage Collection von Gao, H., Groote, J. F., Hesselink, W. H.

Volltext

Notions of bisimulation and congruence formats for SOS with data von Mousavi, Mohammad Reza, Reniers, Michel A., Groote, Jan Friso

Volltext

The meaning of negative premises in transition system specifications von BOL, R, GROOTE, J. F

Volltext

STRUCTURED OPERATIONAL SEMANTICS AND BISIMULATION AS A CONGRUENCE von GROOTE, JF, VAANDRAGER, F

Volltext

Verification of temporal properties of processes in a setting with data von GROOTE, J. F, MATEESCU, R

Volltext