1. Araki works on axiomatic quantum field theory and statistical mechanics in particular on application of operator algebras (von Neumann algebras, C*-algebras).

Araki beschäftigte sich mit axiomatischer Quantenfeldtheorie und statistischer Mechanik, insbesondere unter Anwendung von Operatoralgebren (Von-Neumann-Algebren, C*-Algebren).

2. GRASPIN IS BASED ON A WELL ENGINEERED MERGE OF TWO WIDELY ACCEPTED COMPLEMENTARY METHODS : HIGH-LEVEL PETRI-NET SPECIFICATIONS OF CONCURRENT ACTIVITIES AND AXIOMATIC-ALGEBRAIC SPECIFICATIONS OF ABSTRACT DATA TYPES .

GRASPIN BASIERT AUF EINER INGENIEURMÄSSIG GUT DURCHDACHTEN VERSCHMELZUNG ZWEIER ANERKANNTER ERGÄNZENDER METHODEN , DIE WEITGEHEND AKZEPTIERT WERDEN : PETRI-NETZ-SPEZIFIKATIONEN PARALLELER AKTIVITÄTEN AUF HOHER EBENE UND AXIOMATISCH-ALGEBRAISCHEN SPEZIFIKATIONEN ABSTRAKTER DATENTYPEN .