Logical Properties of Processes

Undergraduate Topics in Computer Science - Modelling Computing Systems ◽

10.1007/978-1-84800-322-4_14 ◽

2013 ◽

pp. 333-356

Author(s):

Faron Moller ◽

Georg Struth

Download Full-text