A Method for Describing Concurrent Problems Based on Logic.

Georg Winterstein, Manfred Dausmann, Guido Persch

Browse the full GI paper archive.