Alban Ponse
Alban Ponse
Associate Professor of Computer Science, University of Amsterdam
Geverifieerd e-mailadres voor uva.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Handbook of Process Algebra
SA Smolka, JA Bergstra, A Ponse
Elsevier, 2001
860*2001
The syntax and semantics of muCRL
JF Groote, A Ponse
Algebra of Communicating Processes'94, 26-62, 1995
4621995
Proof theory for muCRL
JF Groote, A Ponse
Report CS-R9138, CWI, Amsterdam, 1991
176*1991
Process algebra with iteration and nesting
JA Bergstra, I Bethke, A Ponse
The Computer Journal 37 (4), 243-258, 1994
1461994
Linearization in parallel pCRL
JF Groote, A Ponse, YS Usenko
The Journal of Logic and Algebraic Programming 48 (1-2), 39-70, 2001
672001
Combining programs and state machines
JA Bergstra, A Ponse
The Journal of Logic and Algebraic Programming 51 (2), 175-192, 2002
572002
Process algebra with recursive operations
JA Bergstra, W Fokkink, A Ponse
Handbook of process algebra, 333-389, 2001
482001
Execution architectures for program algebra
JA Bergstra, A Ponse
Journal of Applied Logic 5 (1), 170-192, 2007
442007
Handbook of process algebra
Jan. A.. Bergstra, A Ponse, Scott A.. Smolka
Elsevier, 2001
442001
Process algebra with guards: combining Hoare logic and process algebra (extended abstract)
JF Groote, A Ponse
Proceedings CONCUR 91 527 (LNCS), 235-249, 1991
43*1991
An introduction to program and thread algebra
A Ponse, MB Van Der Zwaag
Conference on Computability in Europe, 445-458, 2006
382006
Process algebra with guards: Combining Hoare logic with process algebra
JF Groote, A Ponse
Report CS-R9069, CWI, Amsterdam, 1990
38*1990
Cancellation Meadows: A Generic Basis Theorem and Some Applications
JA Bergstra, I Bethke, A Ponse
The Computer Journal, bxs028, 2012
372012
Division by zero in common meadows
JA Bergstra, A Ponse
Software, Services, and Systems, 46-61, 2015
352015
Translating a process algebra with symbolic data values to linear format
D Bosscher, A Ponse
Proceedings of the Workshop on Tools and Algorithms for the Construction and …, 1995
331995
Process algebra with backtracking
JA Bergstra, A Ponse, JJ Van Wamel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
281993
muCRL: A base for analysing processes with data
JF Groote, A Ponse
Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, GMD …, 1991
28*1991
Handbook of process algebra
RJ van Glabbeek, J Bergstra, A Ponse, SA Smolka
Handbook of Process Algebra, chap. The Linear Time—Branching Time Spectrum …, 2001
252001
Modal Logic and Process Algebra a Bisimulation Perspective
A Ponse, M de Rijke, Y Venema
231995
Kleene's three-valued logic and process algebra
JA Bergstra, A Ponse
Information Processing Letters 67 (2), 95-103, 1998
221998
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20