Concurrent programming as proof net construction.

Published in: Math. Struct. Comput. Sci. (1998)

Keyphrases

concurrent programming
programming language
construction process
concurrent programs
machine learning
digital libraries
theorem proving
web services
object oriented
fine grained