Algebraic-coalgebraic specification in CoCASL (Q2369034)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5020443
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algebraic-coalgebraic specification in CoCASL |
scientific article; zbMATH DE number 5020443 |
Statements
Algebraic-coalgebraic specification in CoCASL (English)
0 references
28 April 2006
0 references
Algebraic specification
0 references
Coalgebra
0 references
Process algebra
0 references
Casl
0 references
CCS
0 references
CSP
0 references
0 references
0 references
0.9844322
0 references
0.91540825
0 references
0.8999017
0 references
0.89950216
0 references
0 references
0 references
