Abstract | ||
---|---|---|
. We use the well-known framework of concrete categories toshow how much of standard universal algebra may be done in an abstractand still rather intuitive way. This is used to recast the unifying view ofbehavioural semantics of specifications based on behavioural satisfactionand, respectively, on behavioural equivalence of models abstracting awayfrom many particular features of standard algebras. We also give an explicitrepresentation of behavioural equivalence between models in termsof ... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-61064-2_41 | CAAP |
Keywords | Field | DocType |
behavioural satisfaction,concrete model categories,universal algebra,model category | Allegory,Algebra,Equivalence (measure theory),Semantics,Universal algebra,Mathematics | Conference |
ISBN | Citations | PageRank |
3-540-61064-2 | 21 | 1.90 |
References | Authors | |
14 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michel Bidoit | 1 | 641 | 56.55 |
Andrzej Tarlecki | 2 | 1514 | 124.61 |