SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

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

Publications of Author

Alban Ponse, Mark van der Zwaag
An Introduction to Program and Thread Algebra. [Citation Graph (0, 0)][DBLP]
CiE, 2006, pp:445-458 [Conf]
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]
Jan A. Bergstra, Inge Bethke, Alban Ponse
Process Algebra with Combinators. [Citation Graph (0, 0)][DBLP]
CSL, 1993, pp:36-65 [Conf]
Jan A. Bergstra, Alban Ponse
A Bypass of Cohen's Impossibility Result. [Citation Graph (0, 0)][DBLP]
EGC, 2005, pp:1097-1106 [Conf]
Jan A. Bergstra, Alban Ponse
Grid Protocol Specifications. [Citation Graph (0, 0)][DBLP]
Prospects for Hardware Foundations, 1998, pp:278-308 [Conf]
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]
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]
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]
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]
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]
Alban Ponse
Computable Processes and Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1996, v:8, n:6, pp:648-678 [Journal]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
Jan A. Bergstra, Alban Ponse
Interface groups and financial transfer architectures [Citation Graph (0, 0)][DBLP]
CoRR, 2007, v:0, n:, pp:- [Journal]
Jan A. Bergstra, Alban Ponse
Projection semantics for rigid loops [Citation Graph (0, 0)][DBLP]
CoRR, 2007, v:0, n:, pp:- [Journal]
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]
Tuplix Calculus [Citation Graph (, )][DBLP]
Proposition Algebra with Projective Limits [Citation Graph (, )][DBLP]
An Instruction Sequence Semigroup with Repeaters [Citation Graph (, )][DBLP]
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms [Citation Graph (, )][DBLP]
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