×

zbMATH — the first resource for mathematics

Ponse, Alban

Compute Distance To:
Author ID: ponse.alban Recent zbMATH articles by "Ponse, Alban"
Published as: Ponse, A.; Ponse, Alban
External Links: ORCID
Documents Indexed: 42 Publications since 1991, including 4 Books

Publications by Year

Citations contained in zbMATH

38 Publications have been cited 224 times in 149 Documents Cited by Year
Handbook of process algebra. Zbl 0971.00006
Bergstra, Jan A. (ed.); Ponse, Alban (ed.); Smolka, Scott A. (ed.)
66
2001
Process algebra with combinators. Zbl 0953.68572
Bergstra, J. A.; Bethke, I.; Ponse, A.
21
1994
Combining programs and state machines. Zbl 1008.68068
Bergstra, Jan A.; Ponse, Alban
14
2002
Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135
Groote, Jan Friso; Ponse, Alban
13
1994
Process algebra with recursive operations. Zbl 1027.68091
Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban
8
2001
Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078
Groote, Jan Friso; Ponse, Alban
8
1994
An introduction to program and thread algebra. Zbl 1131.68411
Ponse, Alban; van der Zwaag, Mark B.
7
2006
Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100
Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B.
7
2003
Linearization in parallel pCRL. Zbl 0988.68121
Groote, J. F.; Ponse, A.; Usenko, Y. S.
7
2001
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
7
2000
Execution architectures for program algebra. Zbl 1116.68024
Bergstra, Jan A.; Ponse, Alban
6
2007
Kleene’s three-valued logic and process algebra. Zbl 1338.68200
Bergstra, Jan A.; Ponse, Alban
6
1998
Decision problems for pushdown threads. Zbl 1120.68077
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
5
2007
Bochvar-McCarthy logic and process algebra. Zbl 0970.68115
Bergstra, Jan A.; Ponse, Alban
5
1998
Process algebra and conditional composition. Zbl 1003.68091
Bergstra, Jan A.; Ponse, Alban
4
2001
Computable processes and bisimulation equivalence. Zbl 0862.68052
Ponse, Alban
4
1996
Division by zero in common meadows. Zbl 06448704
Bergstra, Jan A.; Ponse, Alban
3
2015
A generalization of ACP using Belnap’s logic. Zbl 1316.68104
Ponse, Alban; van der Zwaag, Mark B.
3
2006
Process algebra with five-valued conditions. Zbl 0960.68123
Bergstra, Jan A.; Ponse, Alban
3
1999
Proposition algebra and short-circuit logic. Zbl 1354.03035
Bergstra, Jan A.; Ponse, Alban
2
2012
Proposition algebra. Zbl 1352.03040
Bergstra, Jan A.; Ponse, Alban
2
2011
A generalization of ACP using Belnap’s logic. Zbl 1106.68075
Ponse, Alban; van der Zwaag, Mark B.
2
2007
Register-machine based processes. Zbl 1323.68401
Bergstra, Jan A.; Ponse, Alban
2
2001
Equivalence of recursive specifications in process algebra. Zbl 1003.68088
Ponse, Alban; Usenko, Yaroslav S.
2
2001
Non-regular iterators in process algebra. Zbl 0983.68138
Bergstra, Jan A.; Ponse, Alban
2
2001
Two finite specifications of a queue. Zbl 0911.68010
Bezem, Marc; Ponse, Alban
2
1997
Process expressions and Hoare’s logic: Showing and irreconcilability of context-free recursion with Scott’s induction rule. Zbl 0744.68092
Ponse, Alban
2
1991
Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012
Bergstra, Jan A.; Ponse, Alban
1
2016
Evaluation trees for proposition algebra. Zbl 1444.03110
Bergstra, Jan A.; Ponse, Alban
1
2015
Equations for formally real meadows. Zbl 1350.68189
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2015
An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037
Bergstra, J. A.; Ponse, A.
1
2009
Risk assessment for one-counter threads. Zbl 1166.68010
Ponse, Alban; van der Zwaag, Mark B.
1
2008
Thread algebra and risk assessment services. Zbl 1149.68022
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2008
Belnap’s logic and conditional composition. Zbl 1179.03029
Ponse, Alban; van der Zwaag, Mark B.
1
2007
Program algebra with unit instruction operators. Zbl 1008.68080
Ponse, Alban
1
2002
ACP ’95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17–18, 1995. Zbl 0895.00055
Ponse, Alban (ed.); Verhoef, Chris (ed.); Van Vlijmen, Bas (ed.)
1
1997
Modal logic and process algebra. A bisimulation perspective. Papers from the workshop ”Three days of bisimulation”, Amsterdam, the Netherlands, April 1994. Zbl 0943.68508
Ponse, Alban (ed.); De Rijke, Maarten (ed.); Venema, Yde (ed.)
1
1995
Algebra of communicating processes. Proceedings of ACP94, the 1st workshop, Utrecht, The Netherlands, 16-17 May 1994. Zbl 0829.68073
Ponse, A. (ed.); Verhoef, C. (ed.); van Vlijmen, S. F. M. (ed.)
1
1995
Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012
Bergstra, Jan A.; Ponse, Alban
1
2016
Division by zero in common meadows. Zbl 06448704
Bergstra, Jan A.; Ponse, Alban
3
2015
Evaluation trees for proposition algebra. Zbl 1444.03110
Bergstra, Jan A.; Ponse, Alban
1
2015
Equations for formally real meadows. Zbl 1350.68189
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2015
Proposition algebra and short-circuit logic. Zbl 1354.03035
Bergstra, Jan A.; Ponse, Alban
2
2012
Proposition algebra. Zbl 1352.03040
Bergstra, Jan A.; Ponse, Alban
2
2011
An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037
Bergstra, J. A.; Ponse, A.
1
2009
Risk assessment for one-counter threads. Zbl 1166.68010
Ponse, Alban; van der Zwaag, Mark B.
1
2008
Thread algebra and risk assessment services. Zbl 1149.68022
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2008
Execution architectures for program algebra. Zbl 1116.68024
Bergstra, Jan A.; Ponse, Alban
6
2007
Decision problems for pushdown threads. Zbl 1120.68077
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
5
2007
A generalization of ACP using Belnap’s logic. Zbl 1106.68075
Ponse, Alban; van der Zwaag, Mark B.
2
2007
Belnap’s logic and conditional composition. Zbl 1179.03029
Ponse, Alban; van der Zwaag, Mark B.
1
2007
An introduction to program and thread algebra. Zbl 1131.68411
Ponse, Alban; van der Zwaag, Mark B.
7
2006
A generalization of ACP using Belnap’s logic. Zbl 1316.68104
Ponse, Alban; van der Zwaag, Mark B.
3
2006
Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100
Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B.
7
2003
Combining programs and state machines. Zbl 1008.68068
Bergstra, Jan A.; Ponse, Alban
14
2002
Program algebra with unit instruction operators. Zbl 1008.68080
Ponse, Alban
1
2002
Handbook of process algebra. Zbl 0971.00006
Bergstra, Jan A. (ed.); Ponse, Alban (ed.); Smolka, Scott A. (ed.)
66
2001
Process algebra with recursive operations. Zbl 1027.68091
Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban
8
2001
Linearization in parallel pCRL. Zbl 0988.68121
Groote, J. F.; Ponse, A.; Usenko, Y. S.
7
2001
Process algebra and conditional composition. Zbl 1003.68091
Bergstra, Jan A.; Ponse, Alban
4
2001
Register-machine based processes. Zbl 1323.68401
Bergstra, Jan A.; Ponse, Alban
2
2001
Equivalence of recursive specifications in process algebra. Zbl 1003.68088
Ponse, Alban; Usenko, Yaroslav S.
2
2001
Non-regular iterators in process algebra. Zbl 0983.68138
Bergstra, Jan A.; Ponse, Alban
2
2001
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
7
2000
Process algebra with five-valued conditions. Zbl 0960.68123
Bergstra, Jan A.; Ponse, Alban
3
1999
Kleene’s three-valued logic and process algebra. Zbl 1338.68200
Bergstra, Jan A.; Ponse, Alban
6
1998
Bochvar-McCarthy logic and process algebra. Zbl 0970.68115
Bergstra, Jan A.; Ponse, Alban
5
1998
Two finite specifications of a queue. Zbl 0911.68010
Bezem, Marc; Ponse, Alban
2
1997
ACP ’95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17–18, 1995. Zbl 0895.00055
Ponse, Alban (ed.); Verhoef, Chris (ed.); Van Vlijmen, Bas (ed.)
1
1997
Computable processes and bisimulation equivalence. Zbl 0862.68052
Ponse, Alban
4
1996
Modal logic and process algebra. A bisimulation perspective. Papers from the workshop ”Three days of bisimulation”, Amsterdam, the Netherlands, April 1994. Zbl 0943.68508
Ponse, Alban (ed.); De Rijke, Maarten (ed.); Venema, Yde (ed.)
1
1995
Algebra of communicating processes. Proceedings of ACP94, the 1st workshop, Utrecht, The Netherlands, 16-17 May 1994. Zbl 0829.68073
Ponse, A. (ed.); Verhoef, C. (ed.); van Vlijmen, S. F. M. (ed.)
1
1995
Process algebra with combinators. Zbl 0953.68572
Bergstra, J. A.; Bethke, I.; Ponse, A.
21
1994
Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135
Groote, Jan Friso; Ponse, Alban
13
1994
Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078
Groote, Jan Friso; Ponse, Alban
8
1994
Process expressions and Hoare’s logic: Showing and irreconcilability of context-free recursion with Scott’s induction rule. Zbl 0744.68092
Ponse, Alban
2
1991
all top 5

Cited by 172 Authors

31 Bergstra, Jan A.
21 Ponse, Alban
15 Middelburg, Cornelis A.
8 Groote, Jan Friso
7 Fokkink, Wan
7 Lüttgen, Gerald
6 Aceto, Luca
6 Vogler, Walter
5 Schröder, Lutz
5 van der Zwaag, Mark B.
4 Baeten, Jos C. M.
4 Bethke, Inge
4 Goncharov, Sergeĭ Savost’yanovich
4 Ingólfsdóttir, Anna
4 Klin, Bartek
4 Rauch, Christoph
3 Andova, Suzana
3 Bernardo, Marco
3 Cleaveland, Rance
3 Garavel, Hubert
3 Luttik, Bas
2 Benevides, Mario R. F.
2 Boiten, Eerke A.
2 Castiglioni, Valentina
2 De Nicola, Rocco
2 de Vink, Erik P.
2 Derrick, John
2 Georgievska, Sonja
2 Goldblatt, Robert Ian
2 Groenewegen, Luuk P. J.
2 Lang, Frédéric
2 Larsen, Kim Guldstrand
2 Loreti, Michele
2 Mardare, Radu
2 Mateescu, Radu
2 Möller, Bernhard
2 Pang, Jun
2 Piróg, Maciej
2 Reniers, Michel Adriaan
2 Roggenbach, Markus
2 Schneider, Steve A.
2 Skobelev, Volodymyr V.
2 ter Beek, Maurice H.
2 Trčka, Nikola
2 Treharne, Helen
2 Usenko, Yaroslav S.
2 van Benthem, Johan F. A. K.
2 van de Pol, Jan Cornelis
2 van Wamel, Jos
2 Verhoef, Chris
2 Vu, Thuy Duong
1 Aarts, Fides
1 Adi, Kamel
1 Aguado, Joaquin
1 Aldini, Alessandro
1 Anastasiadi, Elli
1 Apt, Krzysztof Rafal
1 Bădică, Amelia
1 Bădică, Costin
1 Baranov, S. N.
1 Bezem, Marc
1 Bo, Chen
1 Brzeziński, Jerzy
1 Bundy, Alan
1 Cao, Yongzhi
1 Chen, Taolue
1 Chen, Weien
1 Console, Luca
1 Cuijpers, Pieter J. L.
1 Cungen, Cao
1 D’Argenio, Pedro Rubén
1 Di Pierro, Alessandra
1 Diaconescu, Răzvan
1 Dima, Cătălin
1 Dwornikowski, Dariusz
1 Eberbach, Eugene
1 Ésik, Zoltán
1 Fahrenberg, Uli
1 Fecher, Harald
1 Fokkink, Wan J.
1 Fredlund, Lars-åke
1 Fuhrmann, Insa
1 Ghosh, Sujata
1 Goriac, Eugen-Ioan
1 Green, Ian
1 Gregorio-Rodríguez, Carlos
1 Haddad, Serge
1 Hankin, Chris L.
1 Hennessy, Matthew C. B.
1 Hermanns, Holger
1 Hoare, C. A. R. Tony
1 Hofman, Rutger
1 Höfner, Peter
1 Iyer, S. Purushothaman
1 Jakob, Julian
1 Jonsson, Bengt
1 Kahramanoğulları, Ozan
1 Kapitonova, Yu. V.
1 Katoen, Joost-Pieter
1 Kleijn, Jetty H. C. M.
...and 72 more Authors

Citations by Year