Cover Image
Read Now

1
by Börger, Egon, Raschke, Alexander
Published 2018
Springer Berlin Heidelberg
Table of Contents: “... Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling...”
Cover Image
Read Now

2
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... approach to specify and to prove properties of finite state concurrent systems -- A comparison...”
Cover Image
Read Now

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... stability of simple geometric algorithms in the plane -- Communication with concurrent systems via I/0...”