Alles van: J.W. Klop
Resultaat 1 - 20 (van 37)
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Decidability of bisimulation equivalence for processes generating context-free languages
Non-fictie
Engels | 33 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
J.A. Bergstra | J.W. Klop | A. Middeldorp Termherschrijfsystemen
Inleiding in de theorie van termherschrijfsystemen waarin aan de orde komen basisbegrippen, reguliere termherschrijfsystemen, reductiestrategieën, terminatie en completering.
Non-fictie
Nederlands | 170 pagina's | Kluwer Bedrijfswetenschappen, Deventer | 1989
Gedrukt boek
J.A. Bergstra | J.W. Klop ACPt
a universal axiom system for process specification
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.A. Bergstra | J.W. Klop A convergence theorem in process algebra
Non-fictie
Engels | 32 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.A. Bergstra | J.W. Klop Semi-complete termherschrijfsystemen
Non-fictie
Nederlands | 123 pagina's | Kluwer, Deventer | 1987
Gedrukt boek
J.A. Bergstra | J.W. Klop | E.-R. Olderog Failures without chaos
a new process semantics for fair abstraction
Non-fictie
Engels | 10 pagina's | University of Amsterdam, Amsterdam | 1986
Gedrukt boek
J.A. Bergstra | J.W. Klop | E.-R. Olderog Failure semantics with fair abstraction
Non-fictie
Engels | 68 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Term rewriting systems with priorities
Non-fictie
Engels | 20 pagina's | Universiteit van Amsterdam, Facultaire Vakgroep Informatica, Amsterdam | 1986
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop An operational semantics for process algebra
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Ready trace semantics for concrete process algebra with priority operator
Non-fictie
Engels | 21 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Syntax and defining equations for an interrupt mechanism in process algebra
Non-fictie
Engels | 45 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop On the consistency of Koomen's fair abstraction rule
Non-fictie
Engels | 39 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
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.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 | 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