Authors: BRINKSMA E KATOEN JP LANGERAK R LATELLA D

Citation: E. Brinksma et al., PARTIAL ORDER MODELS FOR QUANTITATIVE EXTENSIONS OF LOTOS, Computer networks and ISDN systems, 30(9-10), 1998, pp. 925-950

Authors: NYMEYER A KATOEN JP

Citation: A. Nymeyer et Jp. Katoen, CODE GENERATION BASED ON FORMAL BURS THEORY AND HEURISTIC-SEARCH, Acta informatica, 34(8), 1997, pp. 597-635

Authors: BRUNEKREEF J KATOEN JP KOYMANS R MAUW S

Citation: J. Brunekreef et al., DESIGN AND ANALYSIS OF DYNAMIC LEADER ELECTION PROTOCOLS IN BROADCASTNETWORKS, Distributed computing, 9(4), 1996, pp. 157-171

Authors: KATOEN JP SCHOENMAKERS B

Citation: Jp. Katoen et B. Schoenmakers, SYSTOLIC ARRAYS FOR THE RECOGNITION OF PERMUTATION-INVARIANT SEGMENTS, Science of computer programming, 27(2), 1996, pp. 119-137

Authors: VANSINDEREN M PIRES LF VISSERS CA KATOEN JP

Citation: M. Vansinderen et al., A DESIGN-MODEL FOR OPEN DISTRIBUTED-PROCESSING SYSTEMS, Computer networks and ISDN systems, 27(8), 1995, pp. 1263-1285

Authors: BRINKSMA E KATOEN JP LANGERAK R LATELLA D

Citation: E. Brinksma et al., A STOCHASTIC CAUSALITY-BASED PROCESS ALGEBRA, Computer journal, 38(7), 1995, pp. 552-565