Zoekresultaten
Resultaat 1 - 10 (van 10)
F.W. Vaandrager Algebraic techniques for concurrency and their application
Engels | 244 pagina's | Centrum voor Wiskunde en Informatica, [Amsterdam] | 1989
Gedrukt boek
N.A. Lynch | R. Segala | F.W. Vaandrager Hybrid I/O automata
Non-fictie
Engels | 65 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2002
Gedrukt boek
J.M.T. Romijn | F.W. Vaandrager A note on fairness in I/O automata
Non-fictie
Engels | 8 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
N.A. Lynch | F.W. Vaandrager Action transducers and timed automata
Non-fictie
Engels | 40 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
F.W. Vaandrager A simple definition for parallel composition of prime event structures
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
F.W. Vaandrager Determinism→ (Event structure isomorphism
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
F.W. Vaandrager Some observations on redundancy in a context
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
J.F. Groote | F.W. Vaandrager Structured operational semantics and bisimulation as a congruence
Non-fictie
Engels | 41 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
J.C.M. Baeten | F.W. Vaandrager An algebra for process creation
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1991
Gedrukt boek
A. Fehnker | F.W. Vaandrager | M. Zhang Modeling and verifying a Lego car using hybrid I/O automata
Non-fictie
Engels | 18 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek