Negotiation as concurrency primitive Jörg DeselJavier EsparzaPhilipp Hoffmann Original Article 20 March 2018 Pages: 93 - 159
Verification of asynchronous systems with an unspecified component Rosa AbbasiFatemeh GhassemiRamtin Khosravi Original Article 07 March 2018 Pages: 161 - 203