Jan Friso Groote

Jan Friso Groote

Eindhoven University of Technology - Eindhoven / Netherlands
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4365160
Technische Universiteit Eindhoven
person_outline Jan Friso Groote's MOST POPULAR ARTICLES
1-) Structured operational semantics and bisimulation as a congruenceJF Groote, F VaandragerInformation and computation 100 (2), 202-260, 19925371992
2-) The Syntax and Semantics of μCRLJF Groote, A PonseAlgebra of Communicating Processes: Proceedings of ACP94, the First Workshop …, 19954781995
3-) Modeling and analysis of communicating systemsJF Groote, MR MousaviMIT press, 20143222014
4-) An efficient algorithm for branching bisimulation and stuttering equivalenceJF Groote, F VaandragerInternational Colloquium on Automata, Languages, and Programming, 626-638, 19903231990
5-) Transition system specifications with negative premisesJF GrooteTheoretical Computer Science 118 (2), 263-299, 19932681993