- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j29 |      | Jan A. Bergstra, Inge Bethke, Alban Ponse: Cancellation Meadows: A Generic Basis Theorem and Some Applications. Comput. J. 56(1): 3-14 (2013) |
| 2011 | ||
| j28 | | Inge Bethke, Alban Ponse, Piet Rodenburg: Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday. Theor. Comput. Sci. 412(28): 3033-3034 (2011) |
| j27 | | |
| c8 | | |
| 2010 | ||
| i9 | | |
| i8 | | |
| 2009 | ||
| j26 | | Jan A. Bergstra, Alban Ponse: An Instruction Sequence Semigroup with Involutive Anti-Automorphisms. Sci. Ann. Comp. Sci. 19: 57-92 (2009) |
| i7 | | Jan A. Bergstra, Alban Ponse: An Instruction Sequence Semigroup with Involutive Anti-Automorphisms. CoRR abs/0903.1352 (2009) |
| i6 | | Jan A. Bergstra, Alban Ponse: A progression ring for interfaces of instruction sequences, threads, and services. CoRR abs/0909.2839 (2009) |
| 2008 | ||
| j25 | | Jan A. Bergstra, Alban Ponse, Mark van der Zwaag: Tuplix Calculus. Sci. Ann. Comp. Sci. 18: 35-61 (2008) |
| j24 | | Alban Ponse, Mark van der Zwaag: Risk Assessment for One-Counter Threads. Theory Comput. Syst. 43(3-4): 563-582 (2008) |
| i5 | | |
| i4 | | Jan A. Bergstra, Alban Ponse: An Instruction Sequence Semigroup with Repeaters. CoRR abs/0810.1151 (2008) |
| 2007 | ||
| j23 | | Jan A. Bergstra, Inge Bethke, Alban Ponse: Decision problems for pushdown threads. Acta Inf. 44(2): 75-90 (2007) |
| j22 | | Jan A. Bergstra, Alban Ponse: Execution architectures for program algebra. J. Applied Logic 5(1): 170-192 (2007) |
| j21 | | Alban Ponse, Mark van der Zwaag: A generalization of ACP using Belnap's logic. J. Log. Algebr. Program. 70(2): 222-235 (2007) |
| j20 | | Alban Ponse, Mark van der Zwaag: Belnap's logic and conditional composition. Theor. Comput. Sci. 388(1-3): 319-336 (2007) |
| i3 | | |
| i2 | | Jan A. Bergstra, Alban Ponse: Interface groups and financial transfer architectures. CoRR abs/0707.1639 (2007) |
| i1 | | |
| 2006 | ||
| j19 | | Alban Ponse, Mark van der Zwaag: A Generalization of ACP Using Belnap's Logic. Electr. Notes Theor. Comput. Sci. 162: 287-293 (2006) |
| c7 | | |
| 2005 | ||
| c6 | | |
| 2003 | ||
| j18 | | Jan A. Bergstra, Alban Ponse, Mark van der Zwaag: Branching time and orthogonal bisimulation equivalence. Theor. Comput. Sci. 309(1-3): 313-355 (2003) |
| 2002 | ||
| j17 | | Alban Ponse: Program algebra with unit instruction operators. J. Log. Algebr. Program. 51(2): 157-174 (2002) |
| j16 | | Jan A. Bergstra, Alban Ponse: Combining programs and state machines. J. Log. Algebr. Program. 51(2): 175-192 (2002) |
| 2001 | ||
| j15 | | Jan A. Bergstra, Alban Ponse: Process algebra and conditional composition. Inf. Process. Lett. 80(1): 41-49 (2001) |
| j14 | | Alban Ponse, Yaroslav S. Usenko: Equivalence of recursive specifications in process algebra. Inf. Process. Lett. 80(1): 59-65 (2001) |
| j13 | | |
| j12 | | Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko: Linearization in parallel pCRL. J. Log. Algebr. Program. 48(1-2): 39-70 (2001) |
| j11 | | Jan A. Bergstra, Alban Ponse: Non-regular iterators in process algebra. Theor. Comput. Sci. 269(1-2): 203-229 (2001) |
| 2000 | ||
| j10 | | Jan A. Bergstra, Alban Ponse: Process Algebra with Four-Valued Logic. Journal of Applied Non-Classical Logics 10(1): 27-53 (2000) |
| 1998 | ||
| j9 | | Jan A. Bergstra, Alban Ponse: Kleene's Three-Valued Logic and Process Algebra. Inf. Process. Lett. 67(2): 95-103 (1998) |
| j8 | | Jan A. Bergstra, Alban Ponse: Bochvar-McCarthy Logic and Process Algebra. Notre Dame Journal of Formal Logic 39(4): 464-484 (1998) |
| c5 | | Jan A. Bergstra, Alban Ponse: Grid Protocol Specifications. Prospects for Hardware Foundations 1998: 278-308 |
| 1997 | ||
| j7 | | Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse: Grid Protocols Based on Synchronous Communication. Sci. Comput. Program. 29(1-2): 199-233 (1997) |
| j6 | | Alban Ponse, Chris Verhoef, Bas van Vlijmen: Algebra of Communicating Processes - Preface to the Special Issue. Theor. Comput. Sci. 177(2): 285-286 (1997) |
| j5 | | Marc Bezem, Alban Ponse: Two Finite Specifications of a Queue. Theor. Comput. Sci. 177(2): 487-507 (1997) |
| 1996 | ||
| j4 | | Alban Ponse: Computable Processes and Bisimulation Equivalence. Formal Asp. Comput. 8(6): 648-678 (1996) |
| 1994 | ||
| j3 | | Jan A. Bergstra, Inge Bethke, Alban Ponse: Process Algebra with Iteration and Nesting. Comput. J. 37(4): 243-258 (1994) |
| j2 | | Jan Friso Groote, Alban Ponse: Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Formal Asp. Comput. 6(2): 115-164 (1994) |
| 1993 | ||
| c4 | | |
| c3 | | Jan A. Bergstra, Alban Ponse, Jos van Wamel: Process Algebra with Backtracking. REX School/Symposium 1993: 46-91 |
| c2 |  | Jan Friso Groote, Alban Ponse: Proof Theory for muCRL: A Language for Processes with Data. Semantics of Specification Languages 1993: 232-251 |
| 1991 | ||
| j1 | | Alban Ponse: Process Expressions and Hoare's Logic: Showing an Irreconcilability of Context-Free Recursion with Scott's Induction Rule. Inf. Comput. 95(2): 192-217 (1991) |
| c1 | | Jan Friso Groote, Alban Ponse: Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). CONCUR 1991: 235-249 |
Data released under the ODC-BY 1.0 license — See also our legal information page