Dieter Barnard

• Temporal language of transitions and client server systems