×
Compute Distance To:
Author ID: ponse.alban Recent zbMATH articles by "Ponse, Alban"
Published as: Ponse, Alban; Ponse, A.
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

38 Publications have been cited 232 times in 149 Documents Cited by Year
Handbook of process algebra. Zbl 0971.00006
61
2001
Process algebra with combinators. Zbl 0953.68572
Bergstra, J. A.; Bethke, I.; Ponse, A.
22
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
12
1994
Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078
Groote, Jan Friso; Ponse, Alban
9
1994
Process algebra with recursive operations. Zbl 1027.68091
Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban
9
2001
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
8
2000
Linearization in parallel pCRL. Zbl 0988.68121
Groote, J. F.; Ponse, A.; Usenko, Y. S.
7
2001
Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100
Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B.
7
2003
An introduction to program and thread algebra. Zbl 1131.68411
Ponse, Alban; van der Zwaag, Mark B.
7
2006
Bochvar-McCarthy logic and process algebra. Zbl 0970.68115
Bergstra, Jan A.; Ponse, Alban
6
1998
Kleene’s three-valued logic and process algebra. Zbl 1338.68200
Bergstra, Jan A.; Ponse, Alban
6
1998
Execution architectures for program algebra. Zbl 1116.68024
Bergstra, Jan A.; Ponse, Alban
5
2007
Decision problems for pushdown threads. Zbl 1120.68077
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
5
2007
Division by zero in common meadows. Zbl 1453.68104
Bergstra, Jan A.; Ponse, Alban
5
2015
Computable processes and bisimulation equivalence. Zbl 0862.68052
Ponse, Alban
4
1996
Process algebra with five-valued conditions. Zbl 0960.68123
Bergstra, Jan A.; Ponse, Alban
4
1999
Non-regular iterators in process algebra. Zbl 0983.68138
Bergstra, Jan A.; Ponse, Alban
4
2001
Process algebra and conditional composition. Zbl 1003.68091
Bergstra, Jan A.; Ponse, Alban
4
2001
Proposition algebra. Zbl 1352.03040
Bergstra, Jan A.; Ponse, Alban
4
2011
Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012
Bergstra, Jan A.; Ponse, Alban
3
2016
A generalization of ACP using Belnap’s logic. Zbl 1316.68104
Ponse, Alban; van der Zwaag, Mark B.
3
2006
Proposition algebra and short-circuit logic. Zbl 1354.03035
Bergstra, Jan A.; Ponse, Alban
3
2012
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
Two finite specifications of a queue. Zbl 0911.68010
Bezem, Marc; Ponse, Alban
2
1997
Equivalence of recursive specifications in process algebra. Zbl 1003.68088
Ponse, Alban; Usenko, Yaroslav S.
2
2001
Register-machine based processes. Zbl 1323.68401
Bergstra, Jan A.; Ponse, Alban
2
2001
Evaluation trees for proposition algebra. Zbl 1444.03110
Bergstra, Jan A.; Ponse, Alban
2
2015
An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037
Bergstra, J. A.; Ponse, A.
1
2009
An independent axiomatisation for free short-circuit logic. Zbl 1436.03178
Ponse, Alban; Staudt, Daan J. C.
1
2018
ACP ’95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17–18, 1995. Zbl 0895.00055
1
1997
Program algebra with unit instruction operators. Zbl 1008.68080
Ponse, Alban
1
2002
A generalization of ACP using Belnap’s logic. Zbl 1106.68075
Ponse, Alban; van der Zwaag, Mark B.
1
2007
Thread algebra and risk assessment services. Zbl 1149.68022
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2008
Risk assessment for one-counter threads. Zbl 1166.68010
Ponse, Alban; van der Zwaag, Mark B.
1
2008
Belnap’s logic and conditional composition. Zbl 1179.03029
Ponse, Alban; van der Zwaag, Mark B.
1
2007
Equations for formally real meadows. Zbl 1350.68189
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2015
Probability functions in the context of signed involutive meadows (extended abstract). Zbl 1453.68105
Bergstra, Jan A.; Ponse, Alban
1
2017
An independent axiomatisation for free short-circuit logic. Zbl 1436.03178
Ponse, Alban; Staudt, Daan J. C.
1
2018
Probability functions in the context of signed involutive meadows (extended abstract). Zbl 1453.68105
Bergstra, Jan A.; Ponse, Alban
1
2017
Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012
Bergstra, Jan A.; Ponse, Alban
3
2016
Division by zero in common meadows. Zbl 1453.68104
Bergstra, Jan A.; Ponse, Alban
5
2015
Evaluation trees for proposition algebra. Zbl 1444.03110
Bergstra, Jan A.; Ponse, Alban
2
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
3
2012
Proposition algebra. Zbl 1352.03040
Bergstra, Jan A.; Ponse, Alban
4
2011
An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037
Bergstra, J. A.; Ponse, A.
1
2009
Thread algebra and risk assessment services. Zbl 1149.68022
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2008
Risk assessment for one-counter threads. Zbl 1166.68010
Ponse, Alban; van der Zwaag, Mark B.
1
2008
Execution architectures for program algebra. Zbl 1116.68024
Bergstra, Jan A.; Ponse, Alban
5
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.
1
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
61
2001
Process algebra with recursive operations. Zbl 1027.68091
Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban
9
2001
Linearization in parallel pCRL. Zbl 0988.68121
Groote, J. F.; Ponse, A.; Usenko, Y. S.
7
2001
Non-regular iterators in process algebra. Zbl 0983.68138
Bergstra, Jan A.; Ponse, Alban
4
2001
Process algebra and conditional composition. Zbl 1003.68091
Bergstra, Jan A.; Ponse, Alban
4
2001
Equivalence of recursive specifications in process algebra. Zbl 1003.68088
Ponse, Alban; Usenko, Yaroslav S.
2
2001
Register-machine based processes. Zbl 1323.68401
Bergstra, Jan A.; Ponse, Alban
2
2001
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
8
2000
Process algebra with five-valued conditions. Zbl 0960.68123
Bergstra, Jan A.; Ponse, Alban
4
1999
Bochvar-McCarthy logic and process algebra. Zbl 0970.68115
Bergstra, Jan A.; Ponse, Alban
6
1998
Kleene’s three-valued logic and process algebra. Zbl 1338.68200
Bergstra, Jan A.; Ponse, Alban
6
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
1
1997
Computable processes and bisimulation equivalence. Zbl 0862.68052
Ponse, Alban
4
1996
Process algebra with combinators. Zbl 0953.68572
Bergstra, J. A.; Bethke, I.; Ponse, A.
22
1994
Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135
Groote, Jan Friso; Ponse, Alban
12
1994
Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078
Groote, Jan Friso; Ponse, Alban
9
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 167 Authors

35 Bergstra, Jan A.
23 Ponse, Alban
16 Middelburg, Cornelis A.
8 Fokkink, Willem Jan
7 Aceto, Luca
7 Groote, Jan Friso
6 Lüttgen, Gerald
6 Luttik, Bas
6 Vogler, Walter
5 Baeten, Jos C. M.
5 Ingólfsdóttir, Anna
5 Schröder, Lutz
5 van der Zwaag, Mark B.
4 Bernardo, Marco
4 Bethke, Inge
4 Goncharov, Sergeĭ Savost’yanovich
4 Rauch, Christoph
3 Andova, Suzana
3 Castiglioni, Valentina
3 Garavel, Hubert
3 van Benthem, Johan F. A. K.
2 Benevides, Mario R. F.
2 Boiten, Eerke A.
2 Cleaveland, Rance
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 Loreti, Michele
2 Mardare, Radu
2 Mateescu, Radu
2 Möller, Bernhard
2 Pang, Jun
2 Pedersen, Mathias Ruggaard
2 Piróg, Maciej
2 Reniers, Michel Adriaan
2 Roggenbach, Markus
2 Schneider, Steve A.
2 Staudt, Daan J. C.
2 Trčka, Nikola
2 Treharne, Helen
2 Usenko, Yaroslav S.
2 van de Pol, Jan Cornelis
2 Verhoef, Chris
2 Vu, Thuy Duong
2 Yang, Fei
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 Bezhanishvili, Nick
1 Bo, Chen
1 Börger, Egon
1 Brzeziński, Jerzy
1 Bundy, Alan
1 Campagner, Andrea
1 Cao, Yongzhi
1 Chen, Taolue
1 Chen, Weien
1 Ciucci, Davide
1 Console, Luca
1 Cuijpers, Pieter J. L.
1 Cungen, Cao
1 D’Argenio, Pedro Rubén
1 de Vries, Fer-Jan J.
1 Di Pierro, Alessandra
1 Dima, Cătălin
1 Dorigatti, Valentina
1 Dwornikowski, Dariusz
1 Enqvist, Sebastian
1 Ésik, Zoltán
1 Fecher, Harald
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 Kapitonova, Yu. V.
1 Katoen, Joost-Pieter
1 Klin, Bartek
1 Kotlyarov, V. P.
...and 67 more Authors

Citations by Year