The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alban Ponse: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  32. Tuplix Calculus [Citation Graph (, )][DBLP]


  33. Proposition Algebra with Projective Limits [Citation Graph (, )][DBLP]


  34. An Instruction Sequence Semigroup with Repeaters [Citation Graph (, )][DBLP]


  35. An Instruction Sequence Semigroup with Involutive Anti-Automorphisms [Citation Graph (, )][DBLP]


  36. A progression ring for interfaces of instruction sequences, threads, and services [Citation Graph (, )][DBLP]


Search in 0.046secs, Finished in 0.048secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002