Elsa Gunter

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference article
2018

A method to translate order-sorted algebras to many-sorted algebras

Li, L. & Gunter, E., Feb 16 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 265, p. 20-34 15 p.

Research output: Contribution to journalConference article

2014

Specifying and executing optimizations for parallel programs

Mansky, W., Gunter, E. L. & Griffith, D., Jul 29 2014, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 159, p. 58-70 13 p.

Research output: Contribution to journalConference article

2005

Typechecking safe process synchronization

Bonelli, E., Compagnoni, A. & Gunter, E., Sep 9 2005, In : Electronic Notes in Theoretical Computer Science. 138, 1, p. 3-22 20 p.

Research output: Contribution to journalConference article

2004

Correspondence assertions for process synchronization in concurrent communications

Bonelli, E., Compagnoni, A. & Gunter, E., Jul 22 2004, In : Electronic Notes in Theoretical Computer Science. 97, p. 175-195 21 p.

Research output: Contribution to journalConference article

2002

Tracing the executions of concurrent programs

Gunter, E. & Peled, D., Dec 2002, In : Electronic Notes in Theoretical Computer Science. 70, 4, p. 128-141 14 p.

Research output: Contribution to journalConference article