Zoekresultaten
Resultaat 1 - 13 (van 13)
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Ready trace semantiek voor procesalgebra met prioriteitsoperator
Non-fictie
Nederlands | 10 pagina's | Universiteit van Amsterdam, Facultaire Vakgroep Informatica, Amsterdam | 1985
Gedrukt boek
J.A. Bergstra | W.J. Fokkink | C.A. Middelburg Algebra of timed frames
Non-fictie
Engels | 26 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
J.A. Bergstra | J.V. Tucker The data type variety of stack algebras
Non-fictie
Engels | 32 pagina's | University of Amsterdam, Faculty of Mathematics and Computer Science, Programming Research Group, Amsterdam | 1993
Gedrukt boek
J.A. Bergstra | J. Heering Homomorphism preserving algebraic specifications require hidden sorts
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
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.A. Bergstra Module algebra for relational specifications
Non-fictie
Engels | 18 pagina's | University of Utrecht , Department of Philosophy, Utrecht | 1986
Gedrukt boek
J.A. Bergstra | Marijke Loots Programs, interfaces and components
Non-fictie
Engels | 115 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
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.A. Bergstra | Gh. Ştefănescu Network algebra for synchronous and asynchronous dataflow
Non-fictie
Engels | 43 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
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
J.A. Bergstra | J. Heering Which data types have →ō⇋-complete initial algebra spcifications?
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
J.A. Bergstra | J.W. Klop Semi-complete termherschrijfsystemen
Non-fictie
Nederlands | 123 pagina's | Kluwer, Deventer | 1987
Gedrukt boek