Search alternatives:
trees » tree
Cover Image
Read Now

1
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Checking in a Logic for True Concurrency -- The Paths to Choreography Extraction -- On the Undecidability...”