Derivation of concurrent algorithms in tempo

S Gregory

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

2 Citations (Scopus)
Translated title of the contributionDerivation of concurrent algorithms in tempo
Original languageEnglish
Title of host publicationProc. 5th International Workshop on Logic Program Synthesis and Transformation
PublisherSpringer
Pages46 - 60
Number of pages14
ISBN (Print)3540609393
Publication statusPublished - 1996

Bibliographical note

Conference Proceedings/Title of Journal: Proc. 5th International Workshop on Logic Program Synthesis and Transformation (Utrecht, September 1995)

Cite this