Concepedia

W. P. Weijland

WP

Statistics

Publications

9

Citations

1.5K

H-Index

9

Active since

1956

Affiliations

University of Amsterdam(Current)

W. P. Weijland is an author at University of Amsterdam specializing in computing, formal methods, and branching-time logic.

Publications per year

1956–1996

9

Publications

9

Branching time and abstraction in bisimulation semantics

Rob J. van Glabbeek, W. P. Weijland · Journal of the ACM · 1996 · 737 citations · Full text

Computing, Computer Science, Formal Methods +12

Reduction potentials of various aromatic hydrocarbons and their univalent anions

G. J. Hoijtink, E. de Boer, P. H. van der Meij et al. · Recueil des Travaux Chimiques des Pays-Bas · 1956 · 205 citations

Natural Sciences, Chemistry, Analytical Chemistry +15

Algebraic theory of processes

W. P. Weijland · Science of Computer Programming · 1989 · 153 citations

Engineering, Mathematics, Algebra +11

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

Rob J. van Glabbeek, W. P. Weijland · IFIP Congress · 1989 · 138 citations

Computing, Computer Science, Computer Systems +14

Branching time and abstraction in bisimulation semantics

R.J. vanGlabbeek, W. P. Weijland · 1989 · 82 citations

Computing, Computer Science, Formal Methods +12

1–5 of 9