Volgen
Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Geverifieerd e-mailadres voor tue.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Structured operational semantics and bisimulation as a congruence
JF Groote, F Vaandrager
Information and computation 100 (2), 202-260, 1992
5371992
The syntax and semantics of μCRL
JF Groote, A Ponse
Algebra of Communicating Processes, 26-62, 1995
4741995
An efficient algorithm for branching bisimulation and stuttering equivalence
JF Groote, F Vaandrager
International Colloquium on Automata, Languages, and Programming, 626-638, 1990
3001990
Modeling and analysis of communicating systems
JF Groote, MR Mousavi
MIT press, 2014
2602014
Transition system specifications with negative premises
JF Groote
Theoretical Computer Science 118 (2), 263-299, 1993
2521993
µCRL: A toolset for analysing algebraic specifications
S Blom, W Fokkink, JF Groote, I Langevelde, B Lisser, J Pol
International Conference on Computer Aided Verification, 250-254, 2001
2302001
The formal specification language mCRL2
JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg
Dagstuhl Seminar Proceedings, 2007
2222007
An overview of the mCRL2 toolset and its recent advances
S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP Vink, W Wesselink, ...
International Conference on Tools and Algorithms for the Construction and …, 2013
1892013
Algebraic process verification
JF Groote, MA Reniers
Handbook of process algebra, 1151-1208, 2001
1582001
The safety guaranteeing system at station Hoorn-Kersenboogerd
JF Groote, SFM van Vlijmen, JWC Koorn
COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995
1491995
Proof Theory for µCRL: A Language for Processes with Data.
JF Groote, A Ponse
Semantics of Specification Languages (SoSL), 232-251, 1994
1491994
The meaning of negative premises in transition system specifications
R Bol, JF Groote
Journal of the ACM (JACM) 43 (5), 863-914, 1996
1391996
Transition system specifications with negative premises
JF Groote
International Conference on Concurrency Theory, 332-341, 1990
1391990
A bounded retransmission protocol for large data packets
JF Groote, J Pol
International Conference on Algebraic Methodology and Software Technology …, 1996
1301996
Invariants in process algebra with data
M Bezem, JF Groote
CONCUR'94: Concurrency Theory, 401-416, 1994
1191994
Transformation of BPMN Models for Behaviour Analysis.
I Raedts, M Petkovic, YS Usenko, JMEM van der Werf, JF Groote, ...
MSVVEIS 2007, 126-137, 2007
1152007
The syntax and semantics of timed
JF Groote
J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997
114*1997
Undecidable equivalences for basic process algebra
JF Groote, H Huttel
Information and Computation 115 (2), 354-371, 1994
1111994
Confluence for process verification
JF Groote, MPA Sellink
Theoretical computer science 170 (1-2), 47-81, 1996
1091996
Parameterised boolean equation systems
JF Groote, TAC Willemse
Theoretical Computer Science 343 (3), 332-369, 2005
1042005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20