Zoekresultaten
Resultaat 1 - 10 (van 10)
J.F. Groote A note on n similar parallel processes
Non-fictie
Engels | 11 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
J.F. Groote | J.C. van de Pol A bounded retransmission protocol for large data packets
Non-fictie
Engels | 16 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Marc Bezem | J.F. Groote A formal verification of the alternating bit protocol in the calculus of constructions
Non-fictie
Engels | 26 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
Marc Bezem | J.F. Groote A correctness proof of a one-bit sliding window protocol in →m⇋CRL
Non-fictie
Engels | 23 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1993
Gedrukt boek
J.F. Groote | F. Moller Verification of parallel systems via decomposition
Non-fictie
Engels | 21 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
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.F. Groote | Frank van Ham State space visualization
Non-fictie
Engels | 24 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
J.F. Groote | S.P. Luttik Undecidability and completeness results for process algebras with alternative quantification over data
Non-fictie
Engels | 21 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
J.F. Groote | J.J. van Wamel Analysis of three hybrid systems in timed →m⇋CRL
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
J.F. Groote | H. Zantema Resolution and binary decision diagrams cannot simulate each other polynomially
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek