Hartmut Ehrig;Ingo Claßen;Paul Boehm;Werner Fey;Martin Korff;Michael Löwe
-;-;-;-;-;-
Building a modal interface theory for concurrency and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques