I3: A Petri-Net Based Specification Method for Architectural Components.

Carl K. Chang, Seongwoon Kim

Browse the full COMPSAC paper archive.