Glabbeek R.J.van The difference between splitting in n and n+1 / R.J.van Glabbeek,F.Vaandrager, 1995. - 27 p. - Текст : непосредственный.
Reactive, generative and stratified models of probabilistic processes / R.J.van Glabbeek,S.A.Smolka,B.Steffen,C.M.N.Tofts, 1990. - 12 p. - Текст : непосредственный.
Glabbeek R.J.van Branching time and abstraction in bisimulation semantics / R.J.van Glabbeek,W.P.Weijland, 1991. - 52 c. - Текст : непосредственный.
Fokkink W.J. Ntyft/ ntyxt rules reduce too tree rules / W.J.Fokkink,R.J.van Glabbeek, 1995. - 16 p. - Текст : непосредственный.