Transition system specifications with negative premises von Groote, Jan Friso

Volltext

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

Volltext

An efficient algorithm for branching bisimulation and stuttering equivalence von Groote, Jan Friso, Vaandrager, Frits

Volltext

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

Volltext

A short proof of the decidability of bisimulation for normed bpa-processes von Groote, Jan Friso

Volltext

Long-term versus daily stem diameter variation in co-occurring mangrove species: Environmental versus ecophysiological drivers von Vandegehuchte, Maurits W., Guyot, Adrien, Hubau, Michiel, De Groote, Stefanie R.E., De Baerdemaeker, Niels J.F., Hayes, Matthew, Welti, Nina, Lovelock, Catherine E., Lockington, David A., Steppe, Kathy

Volltext

A correctness proof of a one-bit sliding window protocol in μCRL von BEZEM, M. A, GROOTE, J. F

Volltext

Parameterised boolean equation systems von Groote, Jan Friso, Willemse, Tim A.C.

Volltext

Analysis of three hybrid systems in timed μCRL von Groote, Jan Friso, van Wamel, Jos

Volltext

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

Volltext

μCRL : A toolset for analysing algebraic specifications von BLOM, Stefan, FOKKINK, Wan, GROOTE, Jan Friso, VAN LANGEVELDE, Izak, LISSER, Bert, VAN DE POL, Jaco

Volltext

Hiding propositional constants in BDDs von Groote, Jan Friso

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

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

Volltext

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

Volltext

A syntactic commutativity format for SOS von Mousavi, MohammadReza, Reniers, Michel, Groote, Jan Friso

Volltext

Verification of parallel systems via decomposition von Groote, Jan Friso, Moller, Faron

Volltext

Verification of a sliding window protocol in μCRL and PVS von BADBAN, Bahareh, FOKKINK, Wan, GROOTE, Jan Friso, JUN PANG, VAN DE POL, Jaco

Volltext

The parallel composition of uniform processes with data von Groote, Jan Friso, van Wamel, Jos

Volltext