Step semantics for "true" concurrency with recursion (1989)

by Meyer, E de Vink
Venue:Distributed Computing