Compositional Semantics of an Actor-Based Language Using Constraint Automata.

Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab

Browse the full Coordination paper archive.