Glabbeek, Robert Jan van

Abstraction and empty process in process algebra / J.C.M. Baeten, R.J. van Glabbeekschema:ProductModel An interpolation theorem in equational logic / P.H. Rodenburg, R.J. van Glabbeekschema:ProductModel Another look at abstraction in process algebra / J.C.M. Baeten, R.J. van Glabbeekschema:ProductModel Merge and termination in process algebra / J.C.M. Baeten, R.J. van Glabbeekschema:ProductModel Ntyft/ntyxt rules reduce to ntree rules / W.J. Fokkink, R.J. van Glabbeekschema:ProductModel Reactive, generative, and stratified models of probabilistic processes / R.J. van Glabbeek ... [et al.]schema:ProductModel

Bounded nondeterminism and the approximation induction principle in process algebra / R.J. van Glabbeekschema:ProductModel Branching time and abstraction in bisimulation semantics / R.J. van Glabbeek, W.P. Weijlandschema:ProductModel Branching time and abstraction in bisimulation semantics : (extended abstract) / R.J. van Glabbeek, W.P. Weijlandschema:ProductModel Comparative concurrency semantics and refinement of actions / R.J.H. van Glabbeekschema:ProductModel Comparative concurrency semantics and refinement of actions / Robert Jan van Glabbeekschema:ProductModel Modular specifications in process algebra : with curious queues / R.J. van Glabbeek, F.W. Vaandragerschema:ProductModel Notes on the methodology of CCS and CSP / R.J. van Glabbeekschema:ProductModel Refinement in branching time semantics / R.J. van Glabbeek, W.P. Weijlandschema:ProductModel The difference between splitting in n and n+l / R.J. van Glabbeek, F. Vaandragerschema:ProductModel The linear time-branching time spectrum / R.J. van Glabbeekschema:ProductModel The refinement theorem for ST-bisimulation semantics / R.J. van Glabbeekschema:ProductModel