11 search results - page 3 / 3 » Expressing combinatory reduction systems derivations in the ... |
ENTCS
2006
13 years 4 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...