ABS: Abstract Behavioral Specification (completed)
ABS is a concurrent, object-oriented, modeling language that features functional data-types used in the Envisage project.
Published May 27, 2013 12:56 PM
- Last modified May 8, 2026 12:50 PM