Stem acta$ (all stems)

2 papers:

SIGMOD-1990-ChrysanthisR #behaviour #framework #named #reasoning #specification #transaction

ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior (PKC, KR), pp. 194–203.

DAC-1985-MuraokaIKMH #analysis #named

ACTAS: an accurate timing analysis system for VLSI (MM, HI, HK, MM, KH), pp. 152–158.