Zoekresultaten
Resultaat 1 - 16 (van 16)
F. Arbab | Marcello Bonsangue | F.S. de Boer A coordination language for mobile components
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
F.S. de Boer | M. van Hulst A compositional proof system for asynchronously communicating processes
Non-fictie
Engels | 14 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
F.S. de Boer | M. van Hulst A proof system for asynchronously communicating deterministic processes
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
F.S. de Boer | A. Di Pierro | C. Palamidessi An algebraic perspective of constraint logic programming
Non-fictie
Engels | 26 pagina's | Vrije Universiteit, Amsterdam | 1994
Gedrukt boek
F.S. de Boer | A. Di Pierro | C. Palamidessi Nondeterminism and infinite computations in constraint programming
Non-fictie
Engels | 34 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
F.S. de Boer A compositional proof system for dynamic proces creation
Non-fictie
Engels | 24 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1991
Gedrukt boek
F.S. de Boer A proof theory for the language POOL
Non-fictie
Engels | 73 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
P. America | F.S. de Boer A proof theory for a sequential version of POOL
Non-fictie
Engels | 110 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
P. America | F.S. de Boer A proof theory for process creation
Non-fictie
Engels | 84 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
F.S. de Boer | C. Palamidessi Embedding as a tool for language comparison: on the CSP hierarchy
Non-fictie
Engels | 18 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1991
Gedrukt boek
F.S. de Boer | C. Palamidessi Embedding as a tool for language comparison
Non-fictie
Engels | 20 pagina's | CWI, Amsterdam | 1991
Gedrukt boek
F.S. de Boer | C. Palamidessi A fully abstract model for concurrent logic languages
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
F.S. de Boer A proof system for the language POOL
Non-fictie
Engels | 68 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1990
Gedrukt boek
F.S. de Boer A proof rule for process-creation
Non-fictie
Engels | 42 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
F. Arbab | Marcello Bonsangue | F.S. de Boer A logical interface description language for components
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
F.S. de Boer | P. America A proof system for process creation
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1990
Gedrukt boek