Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Ponse, Alban"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Risk assessment for one-counter threads
Alban Ponse
,
Mark B. von der Zwang
Theory of Computing Systems
43
(3-4), 2008, pp. 563-582
Decision problems for pushdown threads
Jan Bergstra
,
Inge Bethke
,
Alban Ponse
Acta Informatica
44
(2), 2007, pp. 75-90
Belnap's logic and conditional composition
Alban Ponse
,
Mark B. van der Zwaag
Theoretical Computer Science
388
(1-3), 2007, pp. 319-336
Branching time and orthogonal bisimulation equivalence
Jan A. Bergstra
,
Alban Ponse
,
Mark B. van der Zwaag
Theoretical Computer Science
309
(1-3), 2003, pp. 313-355
Process algebra and conditional composition
Jan A. Bergstra
,
Alban Ponse
Information Processing Letters
80
(1), 2001, pp. 41-49
Non-regular iterators in process algebra
Jan A. Bergstra
,
Alban Ponse
Theoretical Computer Science
269
(1-2), 2001, pp. 203-229
Equivalence of recursive specifications in process algebra
Alban Ponse
,
Yaroslav S. Usenko
Information Processing Letters
80
(1), 2001, pp. 59-65
Kleene's three-valued logic and process algebra
Jan A. Bergstra
,
Alban Ponse
Information Processing Letters
67
(2), 1998, pp. 95-103
Two finite specifications of a queue
Marc Bezem
,
Alban Ponse
Theoretical Computer Science
177
(2), 1997, pp. 487-507
Process expressions and Hoare's logic: Showing an irreconcilability of context-free recursion with Scott's induction rule
Alban Ponse
Information and Computation
95
(2), 1991, December, pp. 192-217