On Properties Preserved by Contraction of Concurrent Systems.

John S. Gourlay William C. Rounds Richard Statman

Published in: Semantics of Concurrent Computation (1979)

Keyphrases

concurrent systems
temporal logic
process algebra
distributed systems
desirable properties
petri net
transition systems
formal specification
topological properties
data sets
neural network
database systems
data warehouse
open source
structural properties