Zoekresultaten voor: *
Resultaat 1 - 12 (van 12)
J.A. Bergstra | Jerzy Tiuryn Process algebra semantics for queues
Non-fictie
Engels | 16 pagina's | University of Utrecht, Department of Philosophy, Utrecht | 1986
Gedrukt boek
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.-J.Ch. Meyer On specifying sets of integers
Non-fictie
Engels | 14 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | A. Cmielienska | J. Tiuryn Another incompleteness theorem for hoare's logic
Non-fictie
Engels | 14 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.V. Tucker The axiomatic semantics of programs based on Hoare's logic
Non-fictie
Engels | 29 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J. Tiuryn PC-compactness
a necessary condition for the existence of sound and complete logics of partial correctness
Non-fictie
Engels | 11 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J. Tiuryn Process algebra semantics for queues
Non-fictie
Engels | 25 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