AAAAAA

   
Results: 1-10 |
Results: 10
FORMAL VERIFICATION OF A LEADER ELECTION PROTOCOL IN-PROCESS ALGEBRA
Authors: FREDLUND LA GROOTE JF KORVER H
Citation: La. Fredlund et al., FORMAL VERIFICATION OF A LEADER ELECTION PROTOCOL IN-PROCESS ALGEBRA, Theoretical computer science, 177(2), 1997, pp. 459-486
COST-247, VERIFICATION AND VALIDATION METHODS FOR FORMAL DESCRIPTIONS- FOREWORD
Authors: GROOTE JF REM M
Citation: Jf. Groote et M. Rem, COST-247, VERIFICATION AND VALIDATION METHODS FOR FORMAL DESCRIPTIONS- FOREWORD, Science of computer programming, 29(1-2), 1997, pp. 1-2
THE MEANING OF NEGATIVE PREMISES IN TRANSITION SYSTEM SPECIFICATIONS
Authors: BOL R GROOTE JF
Citation: R. Bol et Jf. Groote, THE MEANING OF NEGATIVE PREMISES IN TRANSITION SYSTEM SPECIFICATIONS, Journal of the ACM, 43(5), 1996, pp. 863-914
STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH
Authors: CLEAVELAND R SMOLKA SA ALUR R BAETEN J BERGSTRA JA BEST E DENICOLA R GILL H GORRIERI R GOUDA MG GROOTE JF HENZINGER TA HOARE CAR LUGINBUHL D MEYER A MILLER D MISRA J MOLLER F MONTANARI U PNUELI A PRASAD S PRATT VR SIFAKIS J SMOLKACHAIR SA STEFFEN B THOMSEN B VAANDRAGER F VARDI M WOLPER P
Citation: R. Cleaveland et al., STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH, ACM computing surveys, 28(4), 1996, pp. 607-625
CONFLUENCE FOR PROCESS VERIFICATION
Authors: GROOTE JF SELLINK MPA
Citation: Jf. Groote et Mpa. Sellink, CONFLUENCE FOR PROCESS VERIFICATION, Theoretical computer science, 170(1-2), 1996, pp. 47-81
UNDECIDABLE EQUIVALENCES FOR BASIC PROCESS ALGEBRA
Authors: GROOTE JF HUTTEL H
Citation: Jf. Groote et H. Huttel, UNDECIDABLE EQUIVALENCES FOR BASIC PROCESS ALGEBRA, Information and computation, 115(2), 1994, pp. 354-371
A CORRECTNESS PROOF OF A ONE-BIT SLIDING WINDOW PROTOCOL IN MU-CRL (VOL 37, PG 289, 1994)
Authors: BEZEM M GROOTE JF
Citation: M. Bezem et Jf. Groote, A CORRECTNESS PROOF OF A ONE-BIT SLIDING WINDOW PROTOCOL IN MU-CRL (VOL 37, PG 289, 1994), Computer journal, 37(7), 1994, pp. 651-651
A CORRECTNESS PROOF OF A ONE-BIT SLIDING WINDOW PROTOCOL IN MU-CRL
Authors: BEZEM MA GROOTE JF
Citation: Ma. Bezem et Jf. Groote, A CORRECTNESS PROOF OF A ONE-BIT SLIDING WINDOW PROTOCOL IN MU-CRL, Computer journal, 37(4), 1994, pp. 289-307
A CORRECTNESS PROOF OF A ONE-BIT SLIDING WINDOW PROTOCOL IN MU-CRL
Authors: BEZEM MA GROOTE JF
Citation: Ma. Bezem et Jf. Groote, A CORRECTNESS PROOF OF A ONE-BIT SLIDING WINDOW PROTOCOL IN MU-CRL, Computer journal, 37(4), 1994, pp. 289-307
TRANSITION SYSTEM SPECIFICATIONS WITH NEGATIVE PREMISES
Authors: GROOTE JF
Citation: Jf. Groote, TRANSITION SYSTEM SPECIFICATIONS WITH NEGATIVE PREMISES, Theoretical computer science, 118(2), 1993, pp. 263-299
Risultati: 1-10 |