Zoekresultaten
Resultaat 1 - 6 (van 6)
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
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
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. 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