Stem synch$ (all stems)
3 papers:
- PLDI-2013-HungG #monitoring #named
- AutoSynch: an automatic-signal monitor based on predicate tagging (WLH, VKG), pp. 253–262.
- FASE-2012-BaeOMA #maude
- The SynchAADL2Maude Tool (KB, PCÖ, JM, AAN), pp. 59–62.
- GPCE-2003-ZiaeiA #coordination #distributed #named #petri net
- SynchNet: A Petri Net Based Coordination Language for Distributed Objects (RZ, GA), pp. 324–343.