Larch, Common Algebraic Specification Language (CASL), OBJ.
u Process Model—Are used for describing concurrent systems. These
languages are sometimes implicitly based on a specific (though
perhaps nonexplicit) model for concurrency. Examples: Calculus of