Cieslak R.A.

R.A. Cieslak

Information about the author R.A. Cieslak will soon be added to the site.
Found 1 papers in total
Undecidability results for deterministic communicating sequential processes
1990
The authors study the subset of the communicating sequential processes formalism in...
Papers per page: