Modelling Communicating Agents in Timed Reasoning Logics.

Natasha Alechina, Brian Logan, Mark Whitsey

Browse the full JELIA paper archive.