Domains: Safe sharing among actors

Printer-friendly version

Publication Type:

Journal Article

Authors:

Joeri De Koster; Stefan Marr; Theo D'Hondt; Tom Van Cutsem

Source:

Science of Computer Programming, Volume 98, Part 2, p.140 - 158 (2015)

URL:

http://www.sciencedirect.com/science/article/pii/S0167642314000495

Keywords:

Race-free mutation