1532 search results - page 69 / 307 » An Algebraic Process Calculus |
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
QEST
2008
IEEE
15 years 4 months ago
2008
IEEE
AB
2008
Springer
15 years 4 months ago
2008
Springer
