Alles van: J.W. Klop
Resultaat 41 - 60 (van 66)
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Conditional axioms and α/β calculus in process algebra
Non-fictie
Engels | 22 pagina's | University of Amsterdam, Amsterdam | 1986
Gedrukt boek
J.A. Bergstra | J.W. Klop | E.-R. Olderog Readies and failures in the algebra of communicating processes
Non-fictie
Engels | 54 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.A. Bergstra | J.W. Klop Process algebra for communication and mutual exclusion
Non-fictie
Engels | 33 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.A. Bergstra | J.W. Klop Algebra of communicating processes with abstraction
Non-fictie
Engels | 43 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.A. Bergstra | J.W. Klop Verification of an alternating bit protocol by means of process algebra
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.A. Bergstra | J.W. Klop Algebra of communicating processes
Non-fictie
Engels | 42 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.A. Bergstra | J.W. Klop A complete inference system for regular processes with silent moves
Non-fictie
Engels | 59 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.A. Bergstra | J.W. Klop Fair FIFO queues satisfy an algebraic criterion for protocol correctness
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.A. Bergstra | J.W. Klop | J.V. Tucker Process algebra with asynchronous communication mechanisms
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.A. Bergstra | J. Heering | J.W. Klop Object-oriented algebraic specification: proposal for a notation and 12 examples
Non-fictie
Engels | 25 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Priority rewrite systems
Non-fictie
Engels | 51 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
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 An abstraction mechanism for process algebras
Non-fictie
Engels | Mathematisch Centrum, Amsterdam | 1983
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 | J.V. Tucker Algebraic tools for system construction
Non-fictie
Engels | 11 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop Formal proof systems for program equivalence
Engels | 14 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Conditional rewrite rules
confluency and termination
Engels | 51 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Fixed point semantics in process algebras
Engels | 21 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek