Reniers, Michel Adriaan (1970-)

A hierarchy of communication models for message sequence charts / by A. Engels, S. Mauw and M.A. Reniersschema:ProductModel A new equivalence for processes with timing / by J.C.M. Baeten, C.A. Middelburg and M.A. Reniersschema:ProductModel A new equivalence for processes with timing / J.C.M. Baeten, C.A. Middelburg and M.A. Reniersschema:ProductModel A process algebra for interworkings / by S. Mauw and M.A. Reniersschema:ProductModel Algebraic process verification / by J.F. Groote and M.A. Reniersschema:ProductModel An algebraic semantics of basic message sequence charts / by S. Mauw and M.A. Reniersschema:ProductModel An algebraic semantics of Message Sequence Charts / by S. Mauw and M.A. Reniersschema:ProductModel Beyond zeno-behaviour / by P.J.L. Cuijpers, M.A. Reniers, A.G. Engelsschema:ProductModel Empty interworkings and refinement semantics of interworkings revised / by S. Mauw and M.A. Reniersschema:ProductModel Hybrid process algebra / by P.J.L. Cuijpers and M.A. Reniersschema:ProductModel Hybrid transition systems / by P.J.L. Cuijpers, M.A. Reniers, W.P.M.H. Heemelsschema:ProductModel Message sequence charts in the software engineering process / by S. Mauw, M.A. Reniers and T.A.C. Willemseschema:ProductModel Process algebra needs proof methodology / by Wan Fokkink, Jan Friso Groote, Michel Reniersschema:ProductModel Termination in timed process algebra / by J.C.M. Baeten and M.A. Reniersschema:ProductModel The I2 C-bus in discrete-time process algebra / by S.H.J. Bos and M.A. Reniersschema:ProductModel Topological (bi-)simulation / by P.J.L. Cuijpers and M.A. Reniersschema:ProductModel

Completeness in discrete-time process algebra / by M.A. Reniers and J.J. Vereijkenschema:ProductModel Message Sequence Chart : syntax and semantics / Michel Adriaan Reniersschema:ProductModel Static semantics of message sequence charts / by M.A. Reniersschema:ProductModel