From SOS to Asynchronously Communicating Actors

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57506-9_20 ◽

2020 ◽

pp. 269-275

Author(s):

Frank de Boer ◽

Einar Broch Johnsen ◽

Ka I Pun ◽

Silvia Lizeth Tapia Tarifa

Download Full-text