Prentice Hall / University of Amsterdam / University of Edinburgh / /
IndustryTerm
erent transition systems / canonical transition systems / concurrent systems / extended transition systems / nite transition systems / transition systems / enriched transition systems / emaciated transition systems / emaciated nite transition systems / /
Organization
Association of Computer Machinery / University of Amsterdam / Bisimulation Colin Stirling Department of Computer Science / University of Edinburgh / Association of Computing Machinery / /
Person
Van Benthem / Anuj Dawar / Julian Brad / Colin Stirling / /