SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems.

Bernd J. Krmer

Browse the full ICSE paper archive.