- An algebraic semantics of Message Sequence S. Mauw M.A. Reniers
- TECHNISCHE UNIVERSITEIT EINDHOVEN Department of Mathematics and Computer Science
- Algebraic Process Veri cation J. F. Groote
- A process algebra for Interworkings S. Mauw and M. A. Reniers
- Network of Excellence Thematic Priority 2
- TECHNISCHE UNIVERSITEIT EINDHOVEN Department of Mathematics and Computer Science
- Discrete Time Process Algebra with Silent Step J.C.M. Baeten 1 and J.A. Bergstra 2 and M.A. Reniers 1
- Static Semantics Message Sequence Charts
- Structuring Structural Operational
- A Hierarchy of Communication Models for Message Sequence A. Engels, S. Mauw, M.A. Reniers,
- Completeness in DiscreteTime Process Algebra Michel A. Reniers and Jan Joris Vereijken
- A Hierarchy of Communication Models for Message Sequence A. Engels, S. Mauw, M.A. Reniers,
- Science of Computer Programming 44 (2002) 253292 www.elsevier.com/locate/scico
- Empty Interworkings and Refinement Semantics of Interworkings Revised
- A HYBRID LANGUAGE FOR MODELING, SIMULATION AND VERIFICATION
- Analysis and Synthesis of Systems with Discrete and Continuous Control
- A Syntactic Commutativity Format for SOS MohammadReza Mousavi, Michel Reniers and Jan Friso Groote
- Operational Semantics for MSC'96 y S. Mauw and M.A. Reniers
- FORMAL VERIFICATION OF CHI MODELS USING PHAVer D.A. van Beek1, K.L. Man2, M.A. Reniers2, J.E. Rooda1, and R.R.H. Schiffelers1
- Highlevel Message Sequence Charts S. Mauw and M.A. Reniers
- D. K. Hammer, J. Hooman, M.A. Reniers, O. van Roosmalen,A. Sintotski
- Deriving Simulators for Hybrid Chi Models D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, and R.R.H. Schiffelers
- An Algebraic Semantics of Basic Message Sequence Charts
- The I 2 Cbus in DiscreteTime Process Algebra S.H.J. Bos and M.A. Reniers
- Fundamenta Informaticae 50-(2002) 142 1 Completeness of Timed CRL
- MESSAGE SEQUENCE CHARTS IN THE SOFTWARE ENGINEERING PROCESS
- Aspects + GAMMA = AspectGAMMA A Formal Framework for Aspect-Oriented
- A New Equivalence for Processes with Timing With an Application to Protocol Veri cation
- Termination in Timed Process Algebra J.C.M. Baeten and M.A. Reniers
- MODELING AN IMPACT CONTROL STRATEGY USING HYPA
- Empty Interworkings and Re nement Semantics of Interworkings Revised
- An Algebraic Semantics of Basic Message Sequence Charts
- Aspects + GAMMA = AspectGAMMA A Formal Framework for Aspect-Oriented
- Fundamenta Informaticae 50(2002) 1--42 1 Completeness of Timed CRL
- The I 2 Cbus in DiscreteTime Process Algebra S.H.J. Bos and M.A. Reniers
- Completeness in Discrete-Time Process Algebra Michel A. Reniers and Jan Joris Vereijken
- Eindhoven, July 28, 2008 Design and verification
- TECHNISCHE UNIVERSITEIT EINDHOVEN Department of Mathematics and Computer Science
- SOS 2006 Preliminary Version On Well-Foundedness and Expressiveness of
- Time Abstraction in Timed CRL `a la Regions Jan Friso Groote Michel A. Reniers Yaroslav S. Usenko
- Discretization of Timed Automata in Timed CRL `a la Regions and Zones
- Topological Aspects of Hybrid Processes (a treatment using non-standard analysis)
- Timed Process Algebra (with a Focus on Explicit Termination and Relative-Timing)
- PARS: A Process Algebra with Resources and Schedulers
- Formal Methods in System Design, 22, 249282, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands.
- Proceedings of the 2003 Winter Simulation Conference S. Chick, P. J. Sanchez, D. Ferrin, and D. J. Morrice, eds.
- Discrete Time Process Algebra with Silent Step J.C.M. Baeten1
- Z .Computer Networks 31 1999 17851799 www.elsevier.comrlocatercomnet
- A Process Algebra Based Verification of a Production System J.J.T. Kleijn J.E. Rooda
- C-bus in Discrete-Time Process Algebra S.H.J. Bos and M.A. Reniers
- A Hierarchy of Communication Models for Message Sequence Charts
- High-level Message Sequence Charts S. Mauw and M.A. Reniers
- Systems Engineering Group Department of Mechanical Engineering
- Action Abstraction in Timed Process Algebra The Case for an Untimed Silent Step
- Systems Engineering Group Department of Mechanical Engineering
- C-bus in Discrete-Time Process Algebra S.H.J. Bos and M.A. Reniers
- Static Semantics Message Sequence Charts
- Process algebra needs proof methodology Wan Fokkink2,3
- Centrum voor Wiskunde en Informatica Completeness of timed muCRL
- TECHNISCHE UNIVERSITEIT EINDHOVEN Department of Mathematics and Computer Science
- Aspects + GAMMA = AspectGAMMA A Formal Framework for AspectOriented
- Hybrid Process Algebra P.J.L. Cuijpers and M.A. Reniers
- Syntax Requirements of Message Sequence Charts M.A. Reniers a
- Message Sequence Chart Syntax and Semantics
- A Process Algebra Based Verification of a Production System J.J.T. Kleijn J.E. Rooda
- An algebraic semantics of Message Sequence S. Mauw M.A. Reniers
- Process algebra needs proof methodology Wan Fokkink, Jan Friso Groote, Michel Reniers
- TECHNISCHE UNIVERSITEIT EINDHOVEN Department of Mathematics and Computer Science
- The Formal Specification Language mCRL2 Jan Friso Groote, Aad Mathijssen, Michel Reniers,
- A HYBRID LANGUAGE FOR MODELING, SIMULATION AND VERIFICATION
- Formal Semantics of Hybrid Chi R.R.H. Schiffelers, D.A. van Beek, K.L. Man, M.A. Reniers, and J.E. Rooda
- A Hierarchy of Communication Models for Message Sequence Charts
- Abstract--This paper addresses the issue of separation of concerns in the design and
- Reply to comments on a proposed semantics for BMSCs S. Mauw and M. A. Reniers
- Refinement in Interworkings S. Mauw and M.A. Reniers
- Algebraic Specification of Lazy Functional Programs in a Concurrent
