Plotkin G., Stirling C., Tofte M. (eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner, The MIT Press, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Challenges Facing Computer Science in the 21st Century - Eberbach (Correct)
....parallel architectures IILIAC 4 and CDC6600, Petri nets model for parallel computation, Dijkstra s semaphores, Algol 68 language with cobegin coend parallel blocks, and Simula language with support for coroutines. In spite of so relatively early start, the basic theory of concurrency calculus [6, 8] is known only by specialists, the majority of programming languages is sequential, and parallel architectures have fewer processors than they used to have 10 years ago. Additionally, not everybody (including computer scientists) is convinced that not all parallel processes are serializable and ....
....in cryptography and linear programming, and steady progress is being made on programming language semantics, computational geometry, and efficient data structures. Newer, more speculative, areas of study include relational databases, VLSI theory, and parallel and distributed computation [8]. However, I will not consider the above areas as the biggest challenge of theoretical computer science. The biggest challenge I see in the development and acceptance of computational models more expressive than Turing Machines. After 60 years of trying to find a stronger model of (sequential) ....
Plotkin G., Stirling C., Tofte M. (eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner, The MIT Press, 2000.
Unknown - Eugene Eberbach Comp (Correct)
No context found.
Plotkin G., Stirling C., Tofte M. (eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner, The MIT Press, 2000.
Fundamenta Informaticae 68 (2005) 47--102 47 IOS Press - Calculus Of Bounded (Correct)
No context found.
Plotkin G., Stirling C., Tofte M., Proof, Language, and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000.
New Models of Computation - Peter Wegner Dept (Correct)
No context found.
Plotkin, G., Stirling, C., Tofte, M. (eds) (2000), Proof, Language, and Interaction: Essays in Honour of Robin Milner, The MIT Press, Cambridge and London.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC