Author of the publication

Functional Skeletons Generate Process Topologies in Eden.

, , and . PLILP, volume 1140 of Lecture Notes in Computer Science, page 289-303. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation., , and . Inf. Comput., (2014)White-Box Path Generation in Recursive Programs., and . TFP, volume 12222 of Lecture Notes in Computer Science, page 121-135. Springer, (2020)Non-determinism Analysis in a Parallel-Functional Language., and . IFL, volume 2011 of Lecture Notes in Computer Science, page 1-18. Springer, (2000)A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions., and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 328-342. Springer, (1993)Generalized optimization methodology of second level for system design., , , and . CONIELECOMP, page 22-27. IEEE Computer Society, (2011)Compiler Construction in a Functional Setting.. WFLP, page 510-524. (2000)Preface., , and . PROLE, volume 258 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2009)Formally deriving an STG machine., and . PPDP, page 102-112. ACM, (2003)Parallel Functional Programming at Two Levels of Abstraction., and . PPDP, page 187-198. ACM, (2001)Deriving Specifications of Embeddings in Recursive Program Design., , and . Struct. Program., 10 (3): 133-145 (1989)