Alles van: J.W. Klop
Resultaat 1 - 6 (van 6)
J.A. Bergstra | J.W. Klop An algebraic specification method for processes over a finite action set
Non-fictie
Engels | 13 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop A process algebra for the operational semantics of static data flow networks
Non-fictie
Engels | 19 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop A proof rule for restoring logic circuits
Non-fictie
Engels | 21 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop An abstraction mechanism for process algebras
Non-fictie
Engels | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop The algebra of recursively defined processes and the algebra of regular processes
Non-fictie
Engels | 29 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop | J.V. Tucker Algebraic tools for system construction
Non-fictie
Engels | 11 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek