Zoekresultaten
Resultaat 1 - 4 (van 4)
J.C.M. Baeten | J.A. Bergstra On sequential composition, action prefixes and process prefix
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1993
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra Deadlock behaviour in split and ST bisimulation semantics
Non-fictie
Engels | 16 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1998
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra Bounded stacks, bags and queues
Non-fictie
Engels | 15 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1997
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | S.A. Smolka Axiomatizing probabilistic processes
ACP with generative probabilities
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1992
Gedrukt boek