\(\mu\)CRL: A toolset for analysing algebraic specifications. Zbl 0991.68640
Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert |
|
2001
|
Skew confluence and the lambda calculus with letrec. Zbl 1019.03011
Ariola, Zena M.; Blom, Stefan |
|
2002
|
A distributed algorithm for strong bisimulation reduction of state spaces. Zbl 1270.68380
Blom, Stefan; Orzan, Simona |
|
2002
|
Distributed branching bisimulation reduction of state spaces. Zbl 1271.68133
Blom, Stefan; Orzan, Simona |
|
2003
|
State space reduction by proving confluence. Zbl 1010.68527
Blom, Stefan; van de Pol, Jaco |
|
2002
|
Cyclic lambda calculi. Zbl 0884.03008
Ariola, Zena M.; Blom, Stefan |
|
1997
|
On the axiomatizability of ready traces, ready simulation, and failure traces. Zbl 1039.68081
Blom, Stefan; Fokkink, Wan; Nain, Sumit |
|
2003
|
Distributed Markovian bisimulation reduction aimed at CSL model checking. Zbl 1286.68306
Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco |
|
2008
|
Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613
Blom, Stefan; van de Pol, Jaco |
|
2008
|
Resource protection using atomics. Patterns and verification. Zbl 1453.68042
Amighi, Afshin; Blom, Stefan; Huisman, Marieke |
|
2014
|
An abstraction technique for describing concurrent program behaviour. Zbl 1403.68034
Oortwijn, Wytse; Blom, Stefan; Gurov, Dilian; Huisman, Marieke; Zaharieva-Stojanovski, Marina |
|
2017
|
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael |
|
2008
|
An approximation based approach to infinitary lambda calculi. Zbl 1187.03013
Blom, Stefan |
|
2004
|
Analysing the BKE-security protocol with \(\mu\)CRL. Zbl 1272.68224
Blom, Stefan; Groote, Jan Friso; Mauw, Sjouke; Serebrenik, Alexander |
|
2005
|
Verification of concurrent systems with VerCors. Zbl 1445.68131
Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina |
|
2014
|
Timed verification with \(\mu \)CRL. Zbl 1254.68145
Blom, Stefan; Ioustinova, Natalia; Sidorova, Natalia |
|
2003
|
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael |
|
2011
|
A complete proof system for nested term graphs. Zbl 1407.68237
Blom, Stefan |
|
1996
|
Skew and \(\omega\)-skew confluence and abstract Böhm semantics. Zbl 1171.68506
Ariola, Zena M.; Blom, Stefan |
|
2005
|
An abstraction technique for describing concurrent program behaviour. Zbl 1403.68034
Oortwijn, Wytse; Blom, Stefan; Gurov, Dilian; Huisman, Marieke; Zaharieva-Stojanovski, Marina |
|
2017
|
Resource protection using atomics. Patterns and verification. Zbl 1453.68042
Amighi, Afshin; Blom, Stefan; Huisman, Marieke |
|
2014
|
Verification of concurrent systems with VerCors. Zbl 1445.68131
Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina |
|
2014
|
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael |
|
2011
|
Distributed Markovian bisimulation reduction aimed at CSL model checking. Zbl 1286.68306
Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco |
|
2008
|
Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613
Blom, Stefan; van de Pol, Jaco |
|
2008
|
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael |
|
2008
|
Analysing the BKE-security protocol with \(\mu\)CRL. Zbl 1272.68224
Blom, Stefan; Groote, Jan Friso; Mauw, Sjouke; Serebrenik, Alexander |
|
2005
|
Skew and \(\omega\)-skew confluence and abstract Böhm semantics. Zbl 1171.68506
Ariola, Zena M.; Blom, Stefan |
|
2005
|
An approximation based approach to infinitary lambda calculi. Zbl 1187.03013
Blom, Stefan |
|
2004
|
Distributed branching bisimulation reduction of state spaces. Zbl 1271.68133
Blom, Stefan; Orzan, Simona |
|
2003
|
On the axiomatizability of ready traces, ready simulation, and failure traces. Zbl 1039.68081
Blom, Stefan; Fokkink, Wan; Nain, Sumit |
|
2003
|
Timed verification with \(\mu \)CRL. Zbl 1254.68145
Blom, Stefan; Ioustinova, Natalia; Sidorova, Natalia |
|
2003
|
Skew confluence and the lambda calculus with letrec. Zbl 1019.03011
Ariola, Zena M.; Blom, Stefan |
|
2002
|
A distributed algorithm for strong bisimulation reduction of state spaces. Zbl 1270.68380
Blom, Stefan; Orzan, Simona |
|
2002
|
State space reduction by proving confluence. Zbl 1010.68527
Blom, Stefan; van de Pol, Jaco |
|
2002
|
\(\mu\)CRL: A toolset for analysing algebraic specifications. Zbl 0991.68640
Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert |
|
2001
|
Cyclic lambda calculi. Zbl 0884.03008
Ariola, Zena M.; Blom, Stefan |
|
1997
|
A complete proof system for nested term graphs. Zbl 1407.68237
Blom, Stefan |
|
1996
|