1. Negotiation as concurrency primitive

   • Jörg Desel
   • Javier Esparza
   • Philipp Hoffmann

   Original Article 20 March 2018 Pages: 93 - 159

   

2. Verification of asynchronous systems with an unspecified component

   • Rosa Abbasi
   • Fatemeh Ghassemi
   • Ramtin Khosravi

   Original Article 07 March 2018 Pages: 161 - 203