Alberto Pettorossi;Andrzej Skowron
-;-
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Short communication: Higher-order communications for concurrent programming
Parallel Computing