Zoekresultaten
Resultaat 1 - 18 (van 18)
W.J. Fokkink | J.F. Groote | M.A. Reniers Process algebra needs proof methodology
Non-fictie
Engels | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2004
Gedrukt boek
P.J.L. Cuijpers | M.A. Reniers Hybrid process algebra
Non-fictie
Engels | 120 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
P.J.L. Cuijpers | M.A. Reniers Topological (bi-)simulation
Non-fictie
Engels | 19 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
J.C.M. Baeten | C.A. Middelburg | M.A. Reniers A new equivalence for processes with timing
Non-fictie
Engels | 22 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
P.J.L. Cuijpers | M.A. Reniers | W.P.M.H. Heemels Hybrid transition systems
Non-fictie
Engels | 35 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
P.J.L. Cuijpers | M.A. Reniers | A. Engels Beyond zeno-behaviour
Non-fictie
Engels | 15 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2001
Gedrukt boek
S. Mauw | M.A. Reniers A process algebra for interworkings
Non-fictie
Engels | 63 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
J.F. Groote | M.A. Reniers Algebraic process verification
Non-fictie
Engels | 65 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
J.C.M. Baeten | M.A. Reniers Termination in timed process algebra
Non-fictie
Engels | 36 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
S. Mauw | M.A. Reniers | Tim A.C. Willemse Message sequence charts in the software engineering process
Non-fictie
Engels | 26 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
M.A. Reniers Message Sequence Chart
syntax and semantics
Non-fictie
Engels | 212 pagina's | Eindhoven University of Technology, Eindhoven | 1999
Gedrukt boek
A. Engels | S. Mauw | M.A. Reniers A hierarchy of communication models for message sequence charts
Non-fictie
Engels | 30 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek
S.H.J. Bos | M.A. Reniers The I2 C-bus in discrete-time process algebra
Non-fictie
Engels | 25 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
M.A. Reniers Static semantics of message sequence charts
Non-fictie
Engels | 71 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
M.A. Reniers | Jan Joris Vereijken Completeness in discrete-time process algebra
Non-fictie
Engels | 139 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
S. Mauw | M.A. Reniers Empty interworkings and refinement semantics of interworkings revised
Non-fictie
Engels | 19 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
Gedrukt boek
S. Mauw | M.A. Reniers An algebraic semantics of basic message sequence charts
Non-fictie
Engels | 9 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
S. Mauw | M.A. Reniers An algebraic semantics of Message Sequence Charts
Non-fictie
Engels | 43 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek