Sign in

Composition of synchronous communicating systems.

Franco BarbaneraIvan LaneseEmilio Tuosto
Published in: J. Log. Algebraic Methods Program. (2023)
Keyphrases