Derivation of concurrent algorithms in tempo

S Gregory

Derivation of concurrent algorithms in tempo

S Gregory

Department of Computer Science

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

2 Citations (Scopus)

Translated title of the contribution	Derivation of concurrent algorithms in tempo
Original language	English
Title of host publication	Proc. 5th International Workshop on Logic Program Synthesis and Transformation
Publisher	Springer
Pages	46 - 60
Number of pages	14
ISBN (Print)	3540609393
Publication status	Published - 1996

Bibliographical note

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

Access to Document

http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/1996-gregory.html

Cite this

@inproceedings{6fb46cd7acdf4651aa0b26c7c9c09307,

title = "Derivation of concurrent algorithms in tempo",

author = "S Gregory",

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

year = "1996",

language = "English",

isbn = "3540609393",

pages = "46 -- 60",

booktitle = "Proc. 5th International Workshop on Logic Program Synthesis and Transformation",

publisher = "Springer",

}

TY - GEN

T1 - Derivation of concurrent algorithms in tempo

AU - Gregory, S

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

PY - 1996

Y1 - 1996

M3 - Conference Contribution (Conference Proceeding)

SN - 3540609393

SP - 46

EP - 60

BT - Proc. 5th International Workshop on Logic Program Synthesis and Transformation

PB - Springer

ER -