Automata on infinite words

A Survey of verification techniques for parallel programs

Distributed systems

methods and tools for specification

Paragon

a language using type hierarchies for the specification, implementation, and selection of abstract data types

Advances in Petri nets, 1984