Zoekresultaten
Resultaat 1 - 17 (van 17)
J.A. Bergstra | A. Ponse Execution architectures for program algebra
Non-fictie
Engels | 34 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
A. Ponse | M. van der Zwaag The logic of ACP
Non-fictie
Engels | 32 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
A. Ponse | Y.S. Usenko Equivalence of recursive specifications in process algebra
Non-fictie
Engels | 10 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
J.A. Bergstra | A. Ponse | M. van der Zwaag Branching time and orthogonal bisimulation equivalence
Non-fictie
Engels | 38 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.F. Groote | A. Ponse | Y.S. Usenko Linearization in parallel pCRL
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
I. Bethke | A. Ponse A car registration authority
a concise PSF-specification
Non-fictie
Engels | 13 pagina's | University of Amsterdam, Faculty of Mathematics and Computer Science, Programming Research Group, Amsterdam | 1993
Gedrukt boek
J.A. Bergstra | A. Ponse | J.J. van Wamel Process algebra with backtracking
Non-fictie
Engels | 46 pagina's | University of Amsterdam, Faculty of Mathematics and Computer Science, Programming Research Group, Amsterdam | 1993
Gedrukt boek
J.A. Bergstra | I. Bethke | A. Ponse Process algebra with iteration and nesting
Non-fictie
Engels | 26 pagina's | University of Amsterdam, Faculty of Mathematics and Computer Science, Programming Research Group, Amsterdam | 1993
Gedrukt boek
J.A. Bergstra | I. Bethke | A. Ponse Process algebra with iteration
Engels | 23 pagina's | University of Amsterdam, Faculty of Mathematics and Computer Science, Programming Research Group, Amsterdam | 1993
Gedrukt boek
A. Ponse Computable processes and bisimulation equivalence
Non-fictie
Engels | 28 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
A. Ponse Process algebra and dynamic logic
Non-fictie
Engels | 19 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
A. Ponse Process algebras with data
Non-fictie
Engels | 184 pagina's | Centrum voor Wiskunde en Informatica, [Amsterdam] | 1992
Gedrukt boek
J.F. Groote | A. Ponse Proof theory for →m⇋CRL
Non-fictie
Engels | 41 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
J.F. Groote | A. Ponse The syntax and semantics of →m⇋CRL
Non-fictie
Engels | 35 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
J.F. Groote | A. Ponse Process algebra with guards
combining Hoare logic with process algebra
Non-fictie
Engels | 56 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
A. Ponse Process expressions and Hoare's logic
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
A. Ponse | Fer-Jan de Vries Strong completeness for Hoare logics of recursive processes: an infinitary approach
Non-fictie
Engels | 36 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek