Zoekresultaten
Resultaat 1 - 4 (van 4)
J.-J.Ch. Meyer | E.P. de Vink Pomset semantics for true concurrency with synchronization and recursion
(extended abstract)
Non-fictie
Engels | 26 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
A. de Bruin | E.P. de Vink Retractions in comparing Prolog semantics
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
J.-J.Ch. Meyer | E.P. de Vink Denotational semantics for 'true' concurrency
Non-fictie
Engels | 29 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
E.P. de Vink Equivalence of an operational and a denotational semantics for a Prolog-like language with Cut
Non-fictie
Engels | 43 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek