Zoekresultaten
Resultaat 1 - 10 (van 10)
J.W. de Bakker | J.I. Zucker Processes and the denotational semantics of concurrency
Engels | 59 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.W. de Bakker | J.-J.Ch. Meyer | J.I. Zucker On infinite computations in denotational semantics
Engels | 35 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.W. de Bakker | E.P. de Vink Bisimulation semantics for concurrency with atomicity and action refinement
Non-fictie
Engels | 31 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
J.W. de Bakker | J.N. Kok Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
J.W. de Bakker | J.-J.Ch. Meyer | E.-R. Olderog Infinite streams and finite observations in the semantics of uniform concurrency
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek
J.W. de Bakker | J.N. Kok Towards a uniform topological treatment of streams and functions on streams
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.I. den Hartog | E.P. de Vink | J.W. de Bakker Full abstractness of an interleaving semantics for action refinement
Non-fictie
Engels | 28 pagina's | Vrije Universiteit, Amsterdam | 1998
Gedrukt boek
J.W. de Bakker | F. van Breugel Topological models for higher order control flow
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
P. America | J.W. de Bakker Designing equivalent semantic models for process creation
Non-fictie
Engels | 75 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
J.W. de Bakker | J.I. Zucker Processes and a fair semantics for the ADA rendez-vous
Non-fictie
Engels | 24 pagina's | Stichting Mathematisch Centrum, Afdeling Informatica, Amsterdam | 1982
Gedrukt boek