Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
R.A. Cieslak
Information about the author R.A. Cieslak will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
Undecidability results for deterministic communicating sequential processes
1990
The authors study the subset of the communicating sequential processes formalism in...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers