AAAAAA

   
Results: 1-7 |
Results: 7
Focus points and convergent process operators: a proof strategy for protocol verification
Authors: Groote, JF Springintveld, J
Citation: Jf. Groote et J. Springintveld, Focus points and convergent process operators: a proof strategy for protocol verification, J LOGIC ALG, 49(1-2), 2001, pp. 31-60
Linearization in parallel pCRL
Authors: Groote, JF Ponse, A Usenko, YS
Citation: Jf. Groote et al., Linearization in parallel pCRL, J LOGIC ALG, 48(1-2), 2001, pp. 39-70
The parallel composition of uniform processes with data
Authors: Groote, JF van Wamel, J
Citation: Jf. Groote et J. Van Wamel, The parallel composition of uniform processes with data, THEOR COMP, 266(1-2), 2001, pp. 631-652
An algorithm for the asynchronous Write-All problem based on process collision
Authors: Groote, JF Hesselink, WH Mauw, S Vermeulen, R
Citation: Jf. Groote et al., An algorithm for the asynchronous Write-All problem based on process collision, DIST COMPUT, 14(2), 2001, pp. 75-81
Wait-free concurrent memory management by Create and Read until Deletion (CaRuD)
Authors: Hesselink, WH Groote, JF
Citation: Wh. Hesselink et Jf. Groote, Wait-free concurrent memory management by Create and Read until Deletion (CaRuD), DIST COMPUT, 14(1), 2001, pp. 31-39
Analysis of three hybrid systems in timed mu CRL
Authors: Groote, JF van Wamel, J
Citation: Jf. Groote et J. Van Wamel, Analysis of three hybrid systems in timed mu CRL, SCI COMP PR, 39(2-3), 2001, pp. 215-247
A complete equational axiomatization for MPA with string iteration
Authors: Aceto, L Groote, JF
Citation: L. Aceto et Jf. Groote, A complete equational axiomatization for MPA with string iteration, THEOR COMP, 211(1-2), 1999, pp. 339-374
Risultati: 1-7 |