| 2009 |
|---|
| 36 | EE | Jan A. Bergstra,
Alban Ponse:
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms
CoRR abs/0903.1352: (2009) |
| 2008 |
|---|
| 35 | EE | Jan A. Bergstra,
Alban Ponse:
Proposition Algebra with Projective Limits
CoRR abs/0807.3648: (2008) |
| 34 | EE | Jan A. Bergstra,
Alban Ponse:
An Instruction Sequence Semigroup with Repeaters
CoRR abs/0810.1151: (2008) |
| 2007 |
|---|
| 33 | EE | Jan A. Bergstra,
Inge Bethke,
Alban Ponse:
Decision problems for pushdown threads.
Acta Inf. 44(2): 75-90 (2007) |
| 32 | EE | Jan A. Bergstra,
Alban Ponse:
Projection semantics for rigid loops
CoRR abs/0707.1059: (2007) |
| 31 | EE | Jan A. Bergstra,
Alban Ponse:
Interface groups and financial transfer architectures
CoRR abs/0707.1639: (2007) |
| 30 | EE | Jan A. Bergstra,
Alban Ponse,
Mark van der Zwaag:
Tuplix Calculus
CoRR abs/0712.3423: (2007) |
| 29 | EE | Jan A. Bergstra,
Alban Ponse:
Execution architectures for program algebra.
J. Applied Logic 5(1): 170-192 (2007) |
| 28 | EE | Alban Ponse,
Mark van der Zwaag:
A generalization of ACP using Belnap's logic.
J. Log. Algebr. Program. 70(2): 222-235 (2007) |
| 27 | EE | Alban Ponse,
Mark van der Zwaag:
Belnap's logic and conditional composition.
Theor. Comput. Sci. 388(1-3): 319-336 (2007) |
| 2006 |
|---|
| 26 | EE | Alban Ponse,
Mark van der Zwaag:
An Introduction to Program and Thread Algebra.
CiE 2006: 445-458 |
| 25 | EE | Alban Ponse,
Mark van der Zwaag:
A Generalization of ACP Using Belnap's Logic.
Electr. Notes Theor. Comput. Sci. 162: 287-293 (2006) |
| 2005 |
|---|
| 24 | EE | Jan A. Bergstra,
Alban Ponse:
A Bypass of Cohen's Impossibility Result.
EGC 2005: 1097-1106 |
| 2003 |
|---|
| 23 | EE | 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 |
|---|
| 22 | EE | Alban Ponse:
Program algebra with unit instruction operators.
J. Log. Algebr. Program. 51(2): 157-174 (2002) |
| 21 | EE | Jan A. Bergstra,
Alban Ponse:
Combining programs and state machines.
J. Log. Algebr. Program. 51(2): 175-192 (2002) |
| 2001 |
|---|
| 20 | EE | Jan A. Bergstra,
Alban Ponse:
Process algebra and conditional composition.
Inf. Process. Lett. 80(1): 41-49 (2001) |
| 19 | EE | Alban Ponse,
Yaroslav S. Usenko:
Equivalence of recursive specifications in process algebra.
Inf. Process. Lett. 80(1): 59-65 (2001) |
| 18 | EE | Jan A. Bergstra,
Alban Ponse:
Register-machine based processes.
J. ACM 48(6): 1207-1241 (2001) |
| 17 | | Jan Friso Groote,
Alban Ponse,
Yaroslav S. Usenko:
Linearization in parallel pCRL.
J. Log. Algebr. Program. 48(1-2): 39-70 (2001) |
| 16 | EE | Jan A. Bergstra,
Alban Ponse:
Non-regular iterators in process algebra.
Theor. Comput. Sci. 269(1-2): 203-229 (2001) |
| 2000 |
|---|
| 15 | | Jan A. Bergstra,
Alban Ponse:
Process Algebra with Four-Valued Logic.
Journal of Applied Non-Classical Logics 10(1): (2000) |
| 1998 |
|---|
| 14 | EE | Jan A. Bergstra,
Alban Ponse:
Grid Protocol Specifications.
Prospects for Hardware Foundations 1998: 278-308 |
| 13 | EE | Jan A. Bergstra,
Alban Ponse:
Kleene's Three-Valued Logic and Process Algebra.
Inf. Process. Lett. 67(2): 95-103 (1998) |
| 12 | | Jan A. Bergstra,
Alban Ponse:
Bochvar-McCarthy Logic and Process Algebra.
Notre Dame Journal of Formal Logic 39(4): 464-484 (1998) |
| 1997 |
|---|
| 11 | | Jan A. Bergstra,
Joris A. Hillebrand,
Alban Ponse:
Grid Protocols Based on Synchronous Communication.
Sci. Comput. Program. 29(1-2): 199-233 (1997) |
| 10 | EE | Alban Ponse,
Chris Verhoef,
Bas van Vlijmen:
Algebra of Communicating Processes - Preface to the Special Issue.
Theor. Comput. Sci. 177(2): 285-286 (1997) |
| 9 | EE | Marc Bezem,
Alban Ponse:
Two Finite Specifications of a Queue.
Theor. Comput. Sci. 177(2): 487-507 (1997) |
| 1996 |
|---|
| 8 | | Alban Ponse:
Computable Processes and Bisimulation Equivalence.
Formal Asp. Comput. 8(6): 648-678 (1996) |
| 1994 |
|---|
| 7 | | Jan A. Bergstra,
Inge Bethke,
Alban Ponse:
Process Algebra with Iteration and Nesting.
Comput. J. 37(4): 243-258 (1994) |
| 6 | | Jan Friso Groote,
Alban Ponse:
Process Algebra with Guards: Combining Hoare Logic with Process Algebra.
Formal Asp. Comput. 6(2): 115-164 (1994) |
| 1993 |
|---|
| 5 | | Jan A. Bergstra,
Inge Bethke,
Alban Ponse:
Process Algebra with Combinators.
CSL 1993: 36-65 |
| 4 | | Jan A. Bergstra,
Alban Ponse,
Jos van Wamel:
Process Algebra with Backtracking.
REX School/Symposium 1993: 46-91 |
| 3 | | Jan Friso Groote,
Alban Ponse:
Proof Theory for muCRL: A Language for Processes with Data.
Semantics of Specification Languages 1993: 232-251 |
| 1991 |
|---|
| 2 | | Jan Friso Groote,
Alban Ponse:
Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).
CONCUR 1991: 235-249 |
| 1 | | 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) |
