Forgot your password?
New user?
History for Theory Challenges
changed: - There are numerous abstract models of concurrency suitable for requirements and design specification. (Perhaps Egon will explain why I am naive here, and that there are open theoretical problems in experimental validation and mathematical verification for ground models etc.) There are numerous abstract models of concurrency suitable for requirements and design specification.
