DMCA

Towards Unified Mechanisms for Defining and Sharing Formal Notations for Concurrency (2012)

by Étienne André , Benoît Barbot , Clément Démoulins , Lom Messan Hillah , Francis Hulin-hubard , Fabrice Kordon , Laure Petrucci