CASL
article-link
What links here
Common Algebraic Specification Language
Institution (computer science)
article-link
Communicating sequential processes
article-link
Formal methods
article-link
Specification language
article-link
Ontology (information science)
article-link